gcc-4.9/gcc/testsuite/gnat.dg/specs/array1.ads


1
2
3
4
5
6
7
8
9
10

-- { dg-do compile }

pragma Restrictions (No_Elaboration_Code);

package Array1 is

  type Arr is array (Positive range <>) of Boolean;
  A : Arr (1 .. 2 ** 29);

end Array1;