gcc/testsuite/gnat.dg/oconst4.adb

   1 -- { dg-do compile }
   2 -- { dg-final { scan-assembler-not "elabs" } }
   3
   4 package body OCONST4 is
   5
   6   procedure check (arg : R) is
   7   begin
   8     if arg.u /= 1
   9        or else arg.d.f1 /= 17
  10        or else arg.d.b.f1 /= one
  11        or else arg.d.b.f2 /= 2
  12        or else arg.d.b.f3 /= 17
  13        or else arg.d.b.f4 /= 42
  14        or else arg.d.f2 /= one
  15        or else arg.d.f3 /= 1
  16        or else arg.d.f4 /= 111
  17        or else arg.d.i1 /= 2
  18        or else arg.d.i2 /= 3
  19     then
  20       raise Program_Error;
  21     end if;
  22   end;
  23
  24 end;