Исходное сообщение
"Релиз набора компиляторов GCC 13" Отправлено oficsu, 29-Апр-23 20:14
> по идее его wrap конкретно определен уже Ну, допустим. Дело же не в нём. Проблема в том, что оптимизатор может заложиться на тот факт, что число не переполняется, а значит и можно выпилить явные/неявные ветки кода, ожидающие переполнения Оптимизатор видит, что x == 10 и x только инкрементится — всё, ветку if (x == 9) {} можно просто выкинуть У нас не механизм переполнения оказывает влияние на производительность, а само наличие такой гарантии >  А оптимизатор не имеет права нарушать иллюзии прописаные в стандарте Так стандарт не позволяет переполнения, а значит и оптимизатор, выкидывающий лишние ветки, тоже ничего не нарушает — он заложился на отсутствие гарантий. Из-за этого, например, код с беззнаковыми может быть местами медленнее > стандарт еще не вышел даже вроде?! Стандарт — нет, но его черновик можно посмотреть или на гитхабе комитета в виде исходников, или собранный на eel.is/c++draft