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

# { dg-options "-fstropping=upper" }  #
BEGIN INT i := 0, n := 5;
      FOR a TO n WHILE a < 3 DO i +:= 1 OD;
      ASSERT (i = 2)
END