gcc/testsuite/gnat.dg/array13.ads

   1 package Array13 is
   2
   3    Max : Natural := 1;
   4
   5    type Arr is array (Natural range 0..Max) of Natural;
   6
   7    type T is record
   8       A : Arr := (others => 0);
   9    end record;
  10
  11    procedure Foo;
  12
  13 end Array13;