Здравствуйте, Evgeny.Panasyuk, Вы писали:
V>>1. целые int32_t не являются подмножеством математических целых, так как они закольцованы
EP>Они не закольцованы, а за-ub'ешены: EP> for(int i=0; i>0; ++i) { EP> cout << i << " "; EP> }
Мнэээ...
Подготовка цикла: ставим i = 0.
Проверка на входе в цикл: i > 0 — не выполняется. Немедленно завершаем цикл.
Где UB? Код корректный для любого компилятора, ничего не делает. И, кстати, для unsigned был бы результат точно такой же — честные 0 итераций цикла.