gcc/testsuite/gnat.dg/oconst5.adb

   1 -- { dg-do compile }
   2 -- { dg-final { scan-assembler-not "elabs" } }
   3
   4 package body OCONST5 is
   5
   6    procedure Check (Arg : R; Bit : U1) is
   7    begin
   8       if Arg.Bit /= Bit
   9         or else Arg.Agg.A /= 3
  10         or else Arg.Agg.B /= 7
  11       then
  12          raise Program_Error;
  13       end if;
  14    end;
  15 end;