gcc/testsuite/gnat.dg/specs/array2.ads

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 pragma Restrictions (No_Elaboration_Code);
   5
   6 package Array2 is
   7
   8   type Arr is array (Positive range <>) of Boolean;
   9   A : Arr (1 .. 2 ** 2);
  10   for A'Size use 16#1000_0000_0#;
  11
  12 end Array2;