Представленная схема, которая вызывает "ошибку", ничего не показывает, кроме не соблюдения логики работы цикла.
Таких "ошибочных" схем можно сделать миллион и ещё маленькую тележку. Существует метод break, который пользователь может вызвать из тела цикла, если ему это надо. Реализовать абсолютную защиту "от дурака" цели не ставилось.