gcc/ada/
authorsam <sam@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 9 Dec 2007 11:07:54 +0000 (11:07 +0000)
committersam <sam@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 9 Dec 2007 11:07:54 +0000 (11:07 +0000)
commite13aa3d7c15d2b5d7eefa2f8f382aae4e908c269
tree4818e0fca8062f79b9b7f51e705d3452749260e8
parenta2f51d5f09a1394e3a45c7052c5223c1517c65ea
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130720 138bc75d-0d04-0410-961f-82ee72b054a4
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]