gcc/testsuite/gnat.dg/oconst2.adb

   1 -- { dg-do compile }
   2 -- { dg-final { scan-assembler-not "elabs" } }
   3
   4 package 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
  15 end;