8072753: Nondeterministic wrong answer on arithmetic Summary: Check for overflow when inverting the loop during the counted loop conversion Reviewed-by: kvn