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