2008-08-06 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 Aug 2008 07:56:04 +0000 (07:56 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 Aug 2008 07:56:04 +0000 (07:56 +0000)
commite406b8652f67bb343be2ab2853d3620847464709
tree5790cdfb649d8d249baa5d5f8a5f5e430365abc1
parentaa5f4f3291a93a0e4833deb79fd86f3233d7a3c4
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138765 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch8.adb