gcc/testsuite/gnat.dg/access_discr2.adb


1
2
3
4
5
6
7
8
9
10

--  { dg-do run }

procedure access_discr2 is
   type X (I : not null access Integer) is tagged null record;
   
   I : aliased Integer := 8;
   Y : X (I'Access);
begin
   null;
end access_discr2;