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

# { dg-options "-fstropping=upper" }  #
BEGIN ASSERT (foo (10, 11) = 22);
      PROC foo = (INT i, j) INT: i + j + 1;
      SKIP
END