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