| -- { dg-do compile } | |
| -- { dg-options "-gnatws" } | |
| procedure Pack2 is | |
| type Bits_T is record | |
| B0, B1, B2: Boolean; | |
| end record; | |
| type State_T is record | |
| Valid : Boolean; | |
| Value : Bits_T; | |
| end record; | |
| pragma Pack (State_T); | |
| procedure Process (Bits : Bits_T) is begin null; end; | |
| State : State_T; | |
| begin | |
| Process (State.Value); | |
| end; |