1-- { dg-do run } 2-- { dg-options "-O -gnatn -gnatVa -gnatws" } 3 4pragma Initialize_Scalars; 5 6procedure Validity_Check is 7 8 type Small_Int is mod 2**6; 9 10 type Arr is array (1 .. 16) of Small_Int; 11 pragma Pack (Arr); 12 13 S : Small_Int; 14 A : Arr; 15 16begin 17 null; 18end; 19