blob: 1bcc084f52c1cc5434c6f40f447ec473b77ddee0 [file] [log] [blame]
-- { dg-do run }
-- { dg-options "-O -gnatn -gnatVa -gnatws" }
pragma Initialize_Scalars;
procedure Validity_Check is
type Small_Int is mod 2**6;
type Arr is array (1 .. 16) of Small_Int;
pragma Pack (Arr);
S : Small_Int;
A : Arr;
begin
null;
end;