gcc/testsuite/gnat.dg/oconst1.ads


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

package OCONST1 is

  type u8 is mod 2**8;

  type Base is record
    i1 : Integer;
    i2 : Integer;
    i3 : Integer;
  end Record;

  type R is record
    u : u8;
    b : Base;
  end record;

  for R use record
    u at 0 range 0 .. 7;
    b at 1 range 0 .. 95;  -- BLKmode bitfield
  end record;

  My_R : constant R := (u=>1, b=>(2, 3, 4));

  procedure check (arg : R);

end;