diff options
| author | Samuel Tardieu <sam@rfc1149.net> | 2008-04-14 12:10:16 +0000 |
|---|---|---|
| committer | Samuel Tardieu <sam@gcc.gnu.org> | 2008-04-14 12:10:16 +0000 |
| commit | cb572b755dcc64f8e5581f8734e5b1034381d41b (patch) | |
| tree | d178755975cb10ade9ad878bce1b7c7f83670aac /gcc/tree-predcom.c | |
| parent | 17972da719db3ced8d90b01beed66b597f07f806 (diff) | |
| download | gcc-cb572b755dcc64f8e5581f8734e5b1034381d41b.zip gcc-cb572b755dcc64f8e5581f8734e5b1034381d41b.tar.gz gcc-cb572b755dcc64f8e5581f8734e5b1034381d41b.tar.bz2 | |
re PR ada/15915 (Illegal program not detected, RM 13.11(15))
gcc/ada/
PR ada/15915
* sem_util.ads, sem_util.adb (Denotes_Variable): New function.
* sem_ch12.adb (Instantiate_Object): Use it.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Ensure that
storage pool denotes a variable as per RM 13.11(15).
gcc/testsuite/
PR ada/15915
* gnat.dg/specs/storage.ads: New.
From-SVN: r134261
Diffstat (limited to 'gcc/tree-predcom.c')
0 files changed, 0 insertions, 0 deletions