re PR ada/34366 (Legal program rejected, various anonymous access-to-subprogram types...
authorSamuel Tardieu <sam@rfc1149.net>
Sun, 9 Dec 2007 11:07:54 +0000 (11:07 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Sun, 9 Dec 2007 11:07:54 +0000 (11:07 +0000)
commit5320014a061cd33f2e36baa9ec17a62519f0f8bd
tree4818e0fca8062f79b9b7f51e705d3452749260e8
parent28d08315ed4962e850886887085d35e135d6a34e
re PR ada/34366 (Legal program rejected, various anonymous access-to-subprogram types, Ada 2005)

    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.

From-SVN: r130720
gcc/ada/ChangeLog
gcc/ada/einfo.ads
gcc/ada/sem_ch3.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/enclosing_record_reference.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/enclosing_record_reference.ads [new file with mode: 0644]