gcc/testsuite/gnat.dg/validity_check.adb

   1 --  { dg-do run }
   2 --  { dg-options "-O -gnatn -gnatVa -gnatws" }
   3
   4 pragma Initialize_Scalars;
   5
   6 procedure 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
  16 begin
  17    null;
  18 end;