如何设置GCC编译参数对整数算术溢出行为输出警告或错误

静态编译期警告配置 #

• 你当前使用的-Wall -Wextra仅包含基础溢出检测，只能识别非常明显的常量表达式溢出，无法覆盖变量参与运算的溢出场景。
• 新增以下编译参数可以提升静态检测能力：
  • -Woverflow：专门针对整数类型溢出、宽度不足的场景输出警告，会识别编译期可确定的溢出操作。
  • -Wstrict-overflow=N：需要配合优化参数（如-O2）使用，基于GCC的溢出假设优化逻辑检测风险，N取值范围1~5，数值越高检测越严格，同时误报概率也会上升，日常开发推荐使用-Wstrict-overflow=2。
• 如果要将溢出警告直接转为编译错误，可以新增-Werror=signed-overflow参数，触发溢出风险时直接中断编译流程。

注意：静态检测存在天然的漏报、误报局限性，无法100%覆盖所有运行时才会触发的溢出场景。你示例代码中已经加了(long long)强制转换后，x和INT_MAX都会提升为long long类型运算，不存在溢出风险，编译器不会报警是正常行为。

运行时溢出检测 #

如果想要更可靠的溢出识别，可以开启GCC的未定义行为 sanitizer 功能，你使用的GCC 4.8版本已经支持该特性：

• 新增编译参数-fsanitize=signed-integer-overflow，编译后的程序运行时如果触发有符号整数溢出，会直接打印详细的错误位置、溢出类型信息，便于调试定位。
• 如果需要检测所有未定义行为，可以替换为-fsanitize=undefined，包含溢出、越界访问等多种常见问题检测。

示例编译命令 #

触发未加强制转换的long long int y = x + INT_MAX;行溢出警告的编译命令参考：

gcc int_promo_flags.c -O2 -Wall -Wextra -Woverflow -Wstrict-overflow=2

内容的提问来源于stack exchange，提问作者IrAM