gcc-4.9/gcc/testsuite/gnat.dg/pack2.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

-- { 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;