# { 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