checks.adb (Check_Needed): New procedure...
authorRobert Dewar <dewar@adacore.com>
Mon, 5 Sep 2005 07:52:27 +0000 (09:52 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 5 Sep 2005 07:52:27 +0000 (09:52 +0200)
commit2ede092bd71ef3748866d32ae7267eb8ff8b15e2
tree359619ed3ffb7e6470ef81008d5c53034cf88ca4
parent18605ccc2b1bdac4b7ef05c433ef6bff28d78d96
checks.adb (Check_Needed): New procedure...

2005-09-01  Robert Dewar  <dewar@adacore.com>

* checks.adb (Check_Needed): New procedure, deals with removing checks
based on analysis of short-circuited forms. Also generates warnings for
improper use of non-short-circuited forms.
Code clean ups.

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