gcc/testsuite/algol68/execute/proc-5.a68

# { dg-options "-fstropping=upper" }  #
# Recursive function.  #
BEGIN PROC foo = (INT i) INT: (i > 0 | i + foo (i - 1) | 0);
      ASSERT (foo (10) = 55)
END