2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>

[official-gcc.git] / gcc / testsuite / gnat.dg / specs / array1.ads

-- { 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;