r138728 - in /trunk/gcc/ada: ChangeLog sem_ch12...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Aug  5 15:14:29 2008
New Revision: 138728

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138728
Log:
2008-08-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Process_Subtype): An allocator is a valid construct that
	can carry a null exclusion indicator, and on which an error may be
	posted if the indicator is redundant.

	* sem_ch8.adb (Analyze_Object_Renaming): Verify that a null exclusion
	does not apply to a subtype mark that already excludes null.

	* sem_ch12.adb (Formal_Object_Declaration): Verify that a null
	exclusion does not apply to a subtype mark that already excludes null.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch8.adb