gcc/testsuite/gnat.dg/oconst2.ads

   1 package OCONST2 is
   2
   3   type u8 is mod 2**8;
   4
   5   type Base is record
   6     i1 : Integer;
   7   end Record;
   8
   9   type R is record
  10     u : u8;
  11     b : Base;
  12   end record;
  13
  14   for R use record
  15     u at 0 range 0 .. 7;
  16     b at 1 range 0 .. 31;  -- aligned SImode bitfield
  17   end record;
  18
  19   My_R : constant R := (u=>1, b=>(i1=>2));
  20
  21   procedure check (arg : R);
  22
  23 end;