[Bug ada/40929] Illegal program accepted, RM 10.2.1(15.6/2), access type in pure generic package

[sam at gcc dot gnu dot org]

------- Comment #1 from sam at gcc dot gnu dot org  2009-10-03 11:23 -------
It is triggered if you instantiate pak1 as a pure unit:

% cat p.ads
with Pak1;
package P is new Pak1;
pragma Pure (P);

% gcc -c p.ads
p.ads:2:01: instantiation error at pak1.ads:4
p.ads:2:01: named access type not allowed in pure unit
p.ads:2:01: would be legal if Storage_Size of 0 given


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40929