gcc/testsuite/gnat.dg/pack2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 procedure 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
  20 begin
  21    Process (State.Value);
  22 end;