1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4procedure Pack21 is
5
6  type Enum is (ZERO, ONE, TWO, THREE, FOUR, FIVE, SIX,
7                SEVEN, EIGHT, NINE, TEN, ELEVEN, TWELVE,
8                THIRTEEN, FOURTEEN, FIFTEEN);
9
10  type Rec1 is record
11    I1 : INTEGER range 0 .. 800;
12    I2 : INTEGER range 0 .. 15 := 0;
13    E  : Enum;
14  end record;
15  pragma PACK (Rec1);
16
17  type Rec2 is record
18    F : Rec1;
19  end record;
20
21  for Rec2 use record
22    F at 0 range 2 .. 19;
23  end record;
24
25  R1, R2 : Rec2;
26
27begin
28  null;
29end;
30