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

X>я не знаю что по этому поводу говорит стандарт, но я никогда не видел UB при переполнении знаковых чисел.
X>возможно, конечно, и существуют такие архитектуры, но я про них не в курсе..

Так на то оно и неопределённое! Предсказуемое и даже желанное поведение является частным случаем неопределённого.

Гипотетически, может выстрелить при оптимизации. Что-то вроде if(90000*90000 < 0)