Переполнение знаковой арифметики: зафиксируйте контракт компилятора до изменения оптимизации

Что это такое

В документации GCC флаг -fwrapv описан как запрос циклического переполнения при знаковом сложении, вычитании и умножении, а -ftrapv — как запрос ловушек для этих операций. Эти параметры взаимодействуют; важны их порядок и то, какие из них активны. Это явно заданные контракты с компилятором с оговорённой областью действия, а не взаимозаменяемые способы сделать любую арифметическую операцию безопасной. GCC optimization options

Почему это важно

Агент, исследующий ошибку только в релизной сборке, может отключить оптимизацию и на этом остановиться. Так устанавливается различие в окружении, но требуемое поведение арифметики по-прежнему не задано. Для количеств, длин и смещений решите, следует ли отклонять выходящий за диапазон результат, применять насыщение, расширять тип или использовать циклическое переполнение, прежде чем выбирать реализацию.

Как применять

• Зафиксируйте фактические флаги компиляции проблемной единицы трансляции, включая унаследованные настройки сборки. Запишите компилятор и целевую платформу, а не полагайтесь на название профиля сборки.
• Запишите допустимые диапазоны операндов и требуемую политику результата рядом с вычислением. Для размера выделяемой памяти учитывайте промежуточные вычисления, а не только конечный тип назначения.
• Составьте предлагаемые граничные случаи непосредственно внутри и вне допустимого диапазона. Задавайте ожидаемые результаты независимо от того, что выводит текущий исполняемый файл.
• Когда требуется отклонять недопустимый результат, предпочитайте арифметическую операцию с проверкой или математически обоснованную проверку диапазона. Если циклическое переполнение намеренно входит в контракт, укажите, какие операции и единицы компиляции на него опираются.
• Сравните отладочную и релизную конфигурации на одних и тех же тестовых примерах, затем изучите соответствующую диагностику. Сохраните минимальный пример, показывающий, зачем нужен выбранный контракт.

Подводные камни

Не считайте, что более широкий тип назначения спасёт промежуточное вычисление, выполненное в более узком типе. Флаг, документированный для сложения, вычитания и умножения, не даёт общей гарантии для деления, сдвигов или указателей. Не меняйте молча флаги всего проекта ради исправления одной локальной операции. Предложенные проверки — план исследования; здесь не заявляется ни об эксперименте с компилятором, ни об успешно пройденном граничном тесте.