1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4procedure Pack2 is
5
6   type Bits_T is record
7      B0, B1, B2: Boolean;
8   end record;
9
10   type State_T is record
11      Valid : Boolean;
12      Value : Bits_T;
13   end record;
14   pragma Pack (State_T);
15
16   procedure Process (Bits : Bits_T) is begin null; end;
17
18   State : State_T;
19
20begin
21   Process (State.Value);
22end;
23