gcc/testsuite/gnat.dg/pack8.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure Pack8 is
   5
   6   type R is record
   7      I : Integer;
   8      a, b : Character;
   9   end record;
  10
  11   type Ar1 is array (1..4) of R;
  12   type Ar2 is array (1..4) of R;
  13   pragma Pack (Ar2);
  14
  15   type R2 is record
  16     A : Ar2;
  17   end record;
  18   for R2 use record
  19     A at 0 range 0 .. 48*4-1-1;  -- { dg-error "too small" }
  20   end record;
  21
  22   X : Ar1;
  23   Y : Ar2;
  24
  25 begin
  26   Y (1) := X (1);
  27 end;