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

["sam at gcc dot gnu dot org" <gcc-bugzilla 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