[Bug ada/36777] Protected type cannot have access taken from its body.

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2008-08-13 11:01 ---
This bug has been fixed in GCC SVN trunk. Thanks for the report.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.4.0


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

[Bug ada/36777] Protected type cannot have access taken from its body.

[sam at gcc dot gnu dot org]

--- Comment #1 from sam at gcc dot gnu dot org  2008-08-13 10:59 ---
Subject: Bug 36777

Author: sam
Date: Wed Aug 13 10:57:43 2008
New Revision: 139051

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=139051
Log:
gcc/ada/
PR ada/36777
* sem_util.ads, sem_util.adb (Is_Protected_Self_Reference): New.
* sem_attr.adb (Check_Type): The current instance of a protected
object is not a type name.
(Analyze_Access_Attribute): Accept instances of protected objects.
(Analyze_Attribute, Attribute_Address clause): Ditto.
* exp_attr.adb (Expand_N_Attribute_Reference): Rewrite
the prefix as being the current instance if needed.

gcc/testsuite/
PR ada/36777
* gnat.dg/protected_self_ref1.adb, gnat.dg/protected_self_ref2.adb:
New.

Added:
trunk/gcc/testsuite/gnat.dg/protected_self_ref1.adb
trunk/gcc/testsuite/gnat.dg/protected_self_ref2.adb
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_attr.adb
trunk/gcc/ada/sem_attr.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=36777

[Bug ada/36777] Protected type cannot have access taken from its body.

[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|UNCONFIRMED |ASSIGNED
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2008-08-03 14:59:16
   date||


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