gcc/testsuite/gnat.dg/unaligned_rep_clause.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

-- { dg-do compile }

procedure Unaligned_Rep_Clause is

   type One_Bit_Record is
      record
         B : Boolean;
      end record;
   Pragma Pack(One_Bit_Record);

   subtype Version_Number_Type is String (1 .. 3);

   type Inter is
      record
         Version : Version_Number_Type;
      end record;

   type Msg_Type is
      record
         Status  : One_Bit_Record;
         Version : Inter;
      end record;

   for Msg_Type use
      record
         Status  at 0 range 0 .. 0;
         Version at 0 range 1 .. 24;
      end record;
   for Msg_Type'Size use 25;

   Data : Msg_Type;
   Pragma Warnings (Off, Data);
   Version : Inter;

begin
   Version := Data.Version;
end;