1-- { dg-do compile }
2-- { dg-final { scan-assembler-not "elabs" } }
3
4package body OCONST2 is
5
6  procedure check (arg : R) is
7  begin
8    if arg.u /= 1
9       or else arg.b.i1 /= 2
10    then
11      raise Program_Error;
12    end if;
13  end;
14
15end;
16