checks.adb (Ensure_Valid): Capture valid status if possible (eliminate checks)
authorRobert Dewar <dewar@adacore.com>
Wed, 26 Mar 2008 07:37:00 +0000 (08:37 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 26 Mar 2008 07:37:00 +0000 (08:37 +0100)
commit1c3340e65db79867d7aaf37ff4d1876bc01f604c
tree5aa501e47f9a126e710cdd4d70396853d6408700
parent1e990f1366612be41209fb921d09be00355c117b
checks.adb (Ensure_Valid): Capture valid status if possible (eliminate checks)

2008-03-26  Robert Dewar  <dewar@adacore.com>

* checks.adb (Ensure_Valid): Capture valid status if possible
(eliminate checks)

From-SVN: r133553
gcc/ada/checks.adb