r123554 - in /trunk/gcc/ada: checks.adb checks.ads

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Apr  6 10:18:09 2007
New Revision: 123554

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123554
Log:
2007-04-06  Thomas Quinot  <quinot@adacore.com>
	    Ed Schonberg  <schonberg@adacore.com>
	    Gary Dismukes  <dismukes@adacore.com>

	* checks.ads, checks.adb (Selected_Range_Checks): No range check is
	required for a conversion between two access-to-unconstrained-array
	types.
	(Expr_Known_Valid): Validity checks do not apply to discriminants, but
	to discriminant constraints on discriminant objects. This rule must
	apply as well to discriminants of protected types in private components.
	(Null_Exclusion_Static_Checks): If No_Initialization is set on an
	object of a null-excluding access type then don't require the
	the object declaration to have an expression and don't emit a
	run-time check.


Modified:
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/checks.ads