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

# { dg-options "-fstropping=upper" }  #
BEGIN INT i := 0;
      FOR a FROM 2 BY 1 WHILE a <= 10
      DO i +:= 1 OD;
      ASSERT (i = 9)
END