This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/17307] Bug box in Gigi, code=116, 'Unrestricted_Access of a protected subprogram
- From: "charlet at adacore dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 12 Jan 2005 10:41:02 -0000
- Subject: [Bug ada/17307] Bug box in Gigi, code=116, 'Unrestricted_Access of a protected subprogram
- References: <20040903164930.17307.ludovic.brenta@insalien.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From charlet at adacore dot com 2005-01-12 10:41 -------
Subject: Re: Bug box in Gigi, code=116, 'Unrestricted_Access of a protected subprogram
> Hmm, now I get on the mainline:
> test_269775.adb:18:23: non-local pointer cannot point to local object
> So this rejects valid now?
Not really, since 'Unrestricted_Access is a GNAT specific attribute,
we can give it any semantic we like.
In this particular case, I do not think we want nor claim to support
access to nested protected procedure.
Instead, the code should be fixed to be valid Ada 95 and use 'Access
on a protected object declared at library level (= in a package).
Arno
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17307