gcc/testsuite/gnat.dg/oconst3.ads

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