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