gcc-4.9/gcc/testsuite/gnat.dg/itype.adb


1
2
3
4
5
6
7
8

package body itype is
   function G return not null access constant T is
      X : aliased T;
   
   begin
      return X'Unchecked_Access;
   end G;
end itype;