gcc/testsuite/gnat.dg/oconst5.ads

   1 package OCONST5 is
   2
   3   type u1 is mod 2**1;
   4   type u8 is mod 2**8;
   5
   6   type HI_Record is record
   7     A, B : U8;
   8   end record;
   9   pragma Suppress_Initialization (HI_Record);
  10
  11   type R is record
  12      Bit : U1;
  13      Agg : HI_Record;
  14   end record;
  15   pragma Suppress_Initialization (R);
  16
  17   for R use record
  18      Bit at 0 range  0 .. 0;
  19      Agg at 0 range  1 .. 16;
  20   end record;
  21
  22   My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7));
  23   My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7));
  24
  25   procedure Check (Arg : R; Bit : U1);
  26
  27 end;