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


1
2
3
4
5
6
7
8
9
10
11
12
13

package Array13 is

   Max : Natural := 1;

   type Arr is array (Natural range 0..Max) of Natural;

   type T is record
      A : Arr := (others => 0);
   end record;

   procedure Foo;

end Array13;