gcc/testsuite/algol68/execute/loop-1.a68

# { dg-options "-fstropping=upper" }  #
BEGIN INT i := 0;
      DO i +:= 1; IF i = 5 THEN exit FI
      OD;
exit: ASSERT (i = 5)
END