diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-05 15:14:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-05 15:14:29 +0000 |
| commit | 5efcab60b3e785c320640060c054ae37b5466a12 (patch) | |
| tree | 74bd37de7d1d2f235b76bade011fcd2d0d61b9e2 /libjava | |
| parent | 421ce940f3619f98c3afd09ad301d4224ba4ffa4 (diff) | |
| download | gcc-5efcab60b3e785c320640060c054ae37b5466a12.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138728 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions