Подписанное int overflow-underflow вызывает неопределенное поведение, но как компилятор это предвидит? ⇐ C++

[Anonymous]

Арифметические операции со знаком целого числа могут переполняться или опустошаться, и когда это происходит, это неопределенное поведение согласно стандарту C++ (и стандарту C). В этот момент можно ожидать, что программа потенциально сделает что угодно.
Я заметил много вопросов по SO, где происходит неопределенное поведение, а программа ведет себя неожиданным, но детерминированным образом, например:< /p>
Вывод C изменен путем добавления printf.
В контексте переполнения подписанного int, как компилятор генерирует код, чтобы переполнение происходило намеренно ведет себя странно? Вводится ли cmp, чтобы определить, установлен ли какой-либо флаг после iadd или чего-то еще?
Конечно, компилятор намеренно не генерирует код, который проверяет наличие переполнения, и намеренно имеет другой путь к коду будет выполнен?
Возможно, я что-то здесь упускаю, но было бы здорово получить какое-либо объяснение по этому поводу.

Подробнее здесь: https://stackoverflow.com/questions/792 ... he-compile