Dear collective wisdom,
the following source (originating in opentoken-6.0a-1) is
- rejected by gcc-4.9,
- accepted by GNAT-GPL-2014 and GNAT-Pro-7.3.1.
Is it valid Ada 2012?
package P is
A : access constant Integer;
procedure P (I : aliased in Integer);
end P;
package body P is
procedure P (I : aliased in Integer) is
begin
A := I'Access; -- non-local pointer cannot point to local object
end P;
end P;