История изменений
Исправление Manhunt, (текущая версия) :
Если UB при переполнении, то если переполнения нет, UB нет.
Компилятор исходит из предположения, что UB не будет. В тех случаях, когда переполнения на самом деле нет, сгенерированный компилятором код должен отработать нормально. Однако никто не обещает, что сгенерированный код при этом будет близок к исходному коду на Си.
Исходная версия Manhunt, :
Если UB при переполнении, то если переполнения нет, UB нет.
Компилятор исходит из предположения, что UB не будет. В тех случаях, когда переполнения на самом деле нет, сгенерированный компилятором код должен отработать нормально. Однако никто не обещает, сгенерированный код при этом будет близок к исходному коду на Си.