gcc/testsuite/gnat.dg/alignment6.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

-- { dg-do compile }
-- { dg-options "-gnatws -fdump-tree-gimple" }

procedure Alignment6 is

   type MY_REC is
     record
       A1 : INTEGER range -3 .. 3 ; -- symmetric
       A2 : BOOLEAN ;
       A3 : INTEGER range 0 .. 15 ; -- positive
       A4 : INTEGER range 10 .. 100 ; -- arbitrary
       A5 : BOOLEAN ;  --5
     end record ;

   for MY_REC use
     record
       A1 at 0 range 0 .. 2 ;
       A2 at 0 range 3 .. 3 ;
       A3 at 0 range 4 .. 7 ;
       A4 at 0 range 8 .. 15 ;
       A5 at 0 range 16 .. 16 ;
     end record ;

   A_REC : MY_REC := ( 1 , TRUE , 7 , 11 , FALSE );
   B_REC : MY_REC;

begin
   B_REC := A_REC;
end;

-- { dg-final { scan-tree-dump-not "VIEW_CONVERT_EXPR" "gimple" } }
-- { dg-final { cleanup-tree-dump "gimple" } }