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