История изменений

Переполнение signed это вполне себе UB и сделано для оптимизации. Подобные моменты лучше вынести в явные спецификаторы. Тогда можно будет оптимизацию использовать на любой тип (если компилятор поймет как её оптимизировать). Выше пример написал как это могло бы быть для unsigned типов (можно ещё придумать как это будет выглядеть для итераторов и.т.д.)

Переполнение signed это вполне себе UB и сделано для оптимизации. Подобные моменты лучше вынести в явные спецификаторы.