projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17972da) | patch
re PR ada/15915 (Illegal program not detected, RM 13.11(15))
authorSamuel Tardieu <sam@rfc1149.net>
Mon, 14 Apr 2008 12:10:16 +0000 (12:10 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Mon, 14 Apr 2008 12:10:16 +0000 (12:10 +0000)
commitcb572b755dcc64f8e5581f8734e5b1034381d41b
treed178755975cb10ade9ad878bce1b7c7f83670aactree
parent17972da719db3ced8d90b01beed66b597f07f806commit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/specs/storage.ads [new file with mode: 0644] blob