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