gcc/gcc/ada checks.adb

[charlet@gcc.gnu.org]

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	charlet@gcc.gnu.org	2005-09-05 07:52:28

Modified files:
	gcc/ada        : checks.adb 

Log message:
	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.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/checks.adb.diff?cvsroot=gcc&r1=1.37&r2=1.38