gcc/testsuite/gnat.dg/sizetype3.ads

   1 package Sizetype3 is
   2
   3    type Values_Array is array (Positive range <>) of Integer;
   4    type Values_Array_Access is access all Values_Array;
   5
   6    procedure Simplify_Type_Of;
   7
   8 end Sizetype3;