gcc/testsuite/gnat.dg/oconst3.adb

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