sem_ch3.adb (Process_Discriminants): diagnose redundant or improper null exclusion...
authorEd Schonberg <schonberg@adacore.com>
Wed, 6 Aug 2008 07:56:04 +0000 (09:56 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Aug 2008 07:56:04 +0000 (09:56 +0200)
commitfa961f76ef7ce0b972797d55968d9f3ce04cee45
tree5790cdfb649d8d249baa5d5f8a5f5e430365abc1
parentc3702ff90aa3f2b3e318e7e83a5df5e9614cf074
sem_ch3.adb (Process_Discriminants): diagnose redundant or improper null exclusion in a discriminant declaration

2008-08-06  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Process_Discriminants): diagnose redundant or improper
null exclusion in a discriminant declaration

* sem_ch8.adb (Analyze_Object_Renaming): diagnose null exclusion
indicators when type is not an access type.

* sem_ch12.adb (Formal_Object_Declaration): diagnose null exclusion
indicators when type is not an access type.

From-SVN: r138765
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch8.adb