Переполнение при арифметических операциях считается неопределённым поведением, потому что стандарт программирования перестаёт что-либо гарантировать в такой ситуации. 1

Переполнение возникает, когда результат операции не помещается в тип, так как стандартные числовые типы имеют ограниченный размер и множество допустимых значений. 1

Некоторые последствия неопределённого поведения:

• Компиляция может пойти неожиданным образом. 3 Оптимизации компилятора могут изменить поведение программы. 3
• Эффект «бомбы замедленного действия». 3 Программа может работать на текущей версии ОС, компилятора и других факторов, но при их изменении, например, появлении более агрессивных оптимизаций, сломаться. 3
• Иллюзия предсказуемости. 3 Конкретная конфигурация компилятора может иметь определённое поведение, но надеяться на него нельзя, иначе есть риск эффекта «бомбы замедленного действия». 3

Переполнение считается неопределённым поведением для знаковых типов, в то время как для беззнаковых типов переполнение не приводит к таким последствиям: вычисления производятся по модулю соответствующей степени двойки, учитываются только младшие биты результата. 1