[Bug ada/17307] Bug box in Gigi, code=116, 'Unrestricted_Access of a protected subprogram

[charlet at adacore dot com]

------- 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