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