[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2008-04-14 Thread sam at gcc dot gnu dot org 


--- Comment #4 from sam at gcc dot gnu dot org  2008-04-14 12:12 ---
This is fixed in SVN.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915

[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2008-04-14 Thread sam at gcc dot gnu dot org 


--- Comment #3 from sam at gcc dot gnu dot org  2008-04-14 12:11 ---
Subject: Bug 15915

Author: sam
Date: Mon Apr 14 12:10:16 2008
New Revision: 134261

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134261
Log:
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.

Added:
trunk/gcc/testsuite/gnat.dg/specs/storage.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch12.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sem_util.ads
trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915

[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2008-04-11 Thread sam at gcc dot gnu dot org 


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |sam at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2007-12-13 14:15:45 |2008-04-11 18:23:53
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915

[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2007-12-13 Thread sam at gcc dot gnu dot org 


--- Comment #2 from sam at gcc dot gnu dot org  2007-12-13 14:15 ---
Confirmed on 4.3.0 20071213.

Changing priority to P5 as it is clearly a minor error.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
   Priority|P2  |P5
   Last reconfirmed|2005-06-14 04:51:38 |2007-12-13 14:15:45
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915

[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2004-10-29 Thread pinskia at gcc dot gnu dot org 

--- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-29 14:45 
---
Confirmed.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2004-10-29 14:45:07
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915

[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2004-10-29 Thread pinskia at gcc dot gnu dot org 


-- 
   What|Removed |Added

  Known to fail||4.0.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915

[Bug ada/15915] Illegal program not detected, RM 13.11(15)

2004-10-11 Thread pinskia at gcc dot gnu dot org 


-- 
   What|Removed |Added

   Keywords||accepts-invalid


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15915