OSDN Git Service

2004-10-26 Ed Schonberg <schonberg@gnat.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Oct 2004 12:29:32 +0000 (12:29 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Oct 2004 12:29:32 +0000 (12:29 +0000)
commit1d90d657c0f9fa2f866405d6f2c00087e4136f88
tree34813e768b591df62c5467dd0344b9df257802ba
parent893604f08ab37ffbd4c82a259c0f2ba5cd7c0547
2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* checks.adb (Expr_Known_Valid): If floating-point validity checks are
enabled, check the result of unary and binary operations when the
expression is the right-hand side of an assignment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@89645 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/checks.adb