[Bug ada/34366] Legal program rejected, various anonymous access-to-subprogram types, Ada 2005

["sam at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #3 from sam at gcc dot gnu dot org  2007-12-09 11:08 -------
Subject: Bug 34366

Author: sam
Date: Sun Dec  9 11:07:54 2007
New Revision: 130720

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130720
Log:
    gcc/ada/
        PR ada/34366
        * sem_ch3.adb (Designates_T): New function.
        (Mentions_T): Factor reusable part of the logic into Designates_T.
        Consider non-access parameters and access and non-access result.
        (Check_Anonymous_Access_Components): Set ekind of anonymous access to
        E_Subprogram_Type to E_Anonymous_Access_Subprogram_Type.

        * einfo.ads: Update comment for E_Anonymous_Access_Subprogram_Type.

    gcc/testsuite/
        PR ada/34366
        * gnat.dg/enclosing_record_reference.ads,
        gnat.dg/enclosing_record_reference.adb: New test.

Added:
    trunk/gcc/testsuite/gnat.dg/enclosing_record_reference.adb
    trunk/gcc/testsuite/gnat.dg/enclosing_record_reference.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/testsuite/ChangeLog


-- 


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