summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/oconst5.ads
blob: f12a265d0d3c5eaccb00e2301340ed36bf5729fd (plain)
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
package OCONST5 is

  type u1 is mod 2**1;
  type u8 is mod 2**8;

  type HI_Record is record
    A, B : U8;
  end record;
  pragma Suppress_Initialization (HI_Record);

  type R is record
     Bit : U1;
     Agg : HI_Record;
  end record;
  pragma Suppress_Initialization (R);

  for R use record
     Bit at 0 range  0 .. 0;
     Agg at 0 range  1 .. 16;
  end record;

  My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7));
  My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7));

  procedure Check (Arg : R; Bit : U1);

end;