gcc/testsuite/gnat.dg/pack23.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatws" }
   3
   4 with Pack23_Pkg;
   5
   6 function Pack23 return Integer is
   7
   8   type Arr is array (1 .. 32) of Boolean with Size => 32, Pack;
   9
  10   A : Arr;
  11
  12 begin
  13   return Pack23_Pkg.Func (A (1));
  14 end;