1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4procedure 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
25begin
26  Y (1) := X (1);
27end;
28