projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59705c3) | patch
checks.adb (Expr_Known_Valid): If floating-point validity checks are enabled...
authorEd Schonberg <schonber@gnat.com>
Wed, 27 Oct 2004 12:29:32 +0000 (14:29 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 27 Oct 2004 12:29:32 +0000 (14:29 +0200)
commit28e4d64e1b77c4cab1c85bf1fb21cc665ed24b6e
tree34813e768b591df62c5467dd0344b9df257802batree
parent59705c38c69f6a622b9f53764de40d869f69bd3dcommit | diff
checks.adb (Expr_Known_Valid): If floating-point validity checks are enabled...

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.

From-SVN: r89645
gcc/ada/checks.adb diff | blob | history