gcc/testsuite/gnat.dg/alignment6.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws -fdump-tree-gimple" }
   3
   4 procedure Alignment6 is
   5
   6    type MY_REC is
   7      record
   8        A1 : INTEGER range -3 .. 3 ; -- symmetric
   9        A2 : BOOLEAN ;
  10        A3 : INTEGER range 0 .. 15 ; -- positive
  11        A4 : INTEGER range 10 .. 100 ; -- arbitrary
  12        A5 : BOOLEAN ;  --5
  13      end record ;
  14
  15    for MY_REC use
  16      record
  17        A1 at 0 range 0 .. 2 ;
  18        A2 at 0 range 3 .. 3 ;
  19        A3 at 0 range 4 .. 7 ;
  20        A4 at 0 range 8 .. 15 ;
  21        A5 at 0 range 16 .. 16 ;
  22      end record ;
  23
  24    A_REC : MY_REC := ( 1 , TRUE , 7 , 11 , FALSE );
  25    B_REC : MY_REC;
  26
  27 begin
  28    B_REC := A_REC;
  29 end;
  30
  31 -- { dg-final { scan-tree-dump-not "VIEW_CONVERT_EXPR" "gimple" { xfail *-*-* } } }
  32 -- { dg-final { cleanup-tree-dump "gimple" } }