1-- { dg-do compile } 2-- { dg-options "-gnatws" } 3 4pragma Restrictions (No_Elaboration_Code); 5 6package 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 12end Array2; 13