1-- { dg-do compile } 2-- { dg-options "-gnatws" } 3-- (bits of "Header" unused) 4 5procedure Nested_Agg_Bitfield_Constructor is 6 7 type Uint64 is mod 2 ** 64; 8 type Uint16 is mod 2 ** 16; 9 10 type Time_Stamp is record 11 Sec : Uint64; 12 Year : Uint16; 13 end record; 14 15 type Msg_Header is record 16 Stamp : Time_Stamp; 17 end record; 18 for Msg_Header use record 19 Stamp at 0 range 0 .. 64+16-1; 20 end record; 21 for Msg_Header'Size use 80; 22 23 type Msg is record 24 Header : Msg_Header; 25 end record; 26 27 for Msg use record 28 Header at 0 range 0 .. 191; 29 end record; 30 31 M : Msg := (Header => (Stamp => (2, 4))); 32begin 33 null; 34end; 35