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

N>>Подготовка цикла: ставим i = 0.
N>>Проверка на входе в цикл: i > 0 — не выполняется. Немедленно завершаем цикл.
EP>Точно, ошибка.
N>>Вы что доказать-то хотели?
EP>Думал получилось триггернуть UB вроде этого

Автор: Evgeny.Panasyuk
Дата: 30.10.15

.

Я попробовал заменить на i=1 в начале цикла. GCC (5), Clang (6) — UdB не триггерится. Не опознаёт оно переполнение.
Видимо, надо ему упростить задачу