ПостЗнаете, почему -O2 может молча выбросить вашу проверку на переполнение?

13 сентября 2026

Artyom

Фотография
нажмите — покажем

Знаете, почему -O2 может молча выбросить вашу проверку на переполнение? Потому что переполнение знакового целого - это UB. А раз UB быть не может, то и условие, которое срабатывает только при нём, всегда ложно. Ветка мёртвая => можно удалять. Одна и та же программа: -O0 возвращает -1, -O2 возвращает -2147483648. Разбор реального бага GCC, проверок после разыменования и санитайзеров в статье.

5 · 515 · 12:52

Рядом в ленте

Artyom13:34Go 1.27 Самый громкий апдейт этого релиза - обобщённые методы. Теперь можно объявлять параметры типа прямо у методов структур, а не только у функций. Из приятно A

Artyom12:58Как скопировать дерево, но не точь-в-точь Инженеры PVS‑Studio рассказывают про трансляцию ast через protobuf, паттерны преобразований и 263 типа узлов, которые

это сообщение

Artyom07:27Neva - dataflow-язык, где программа это не список инструкций, а граф узлов, обменивающихся сообщениями через порты. import { fmt } def Main(start any) (stop any