gcc/testsuite/gnat.dg/opt53.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -fdump-tree-optimized" }
   3
   4 function Opt53 (Val, Max : Positive) return Positive is
   5 begin
   6    if Val >= Max then
   7       return Max;
   8    end if;
   9    return Val + 1;
  10 end;
  11
  12 -- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" } }