gcc-4.9/gcc/testsuite/gnat.dg/sizetype3.ads


1
2
3
4
5
6
7
8

package Sizetype3 is

   type Values_Array is array (Positive range <>) of Integer;
   type Values_Array_Access is access all Values_Array;

   procedure Simplify_Type_Of;

end Sizetype3;