Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP> for(int i=INT_MAX-2; i>=0; ++i) {
EP> cout << i << " ";
EP> }

EP>Таки закольцевался int, правда jmp'ом

Да, такое они ловят. Видимо, предсказание на сколько-то итераций вперёд.

Ну я давно говорю, что семантика переполнения должна быть управляема контекстом — и ни знаковая с "программист должен сам", ни беззнаковая с модулем не должны быть единственными, а умолчанием вообще должна быть неотложная генерация ошибки.