1-- { dg-do run }
2-- { dg-options "-gnatws" }
3
4with Discr32_Pkg; use Discr32_Pkg;
5
6procedure Discr32 is
7begin
8
9  if R1'Object_Size /= 32 then
10    raise Program_Error;
11  end if;
12
13  if R2'Object_Size /= R'Object_Size then
14    raise Program_Error;
15  end if;
16
17  if R3'Object_Size /= 64 then
18    raise Program_Error;
19  end if;
20
21end;
22