G++下无符号整数减法下溢的编译器警告及静态分析方案查询

编译期警告参数 #

C/C标准明确规定无符号整数的溢出/下溢属于定义明确的合法行为，会自动执行模2^n运算，因此G默认不会对这类场景输出警告。要触发无符号减法下溢的编译告警，可以使用以下参数：

• -Wunsigned-subtraction：GCC 4.8及以上版本支持，专门针对无符号整数减法可能出现的下溢场景触发警告。你给出的示例代码使用该参数编译时，会直接输出对应告警：

warning: unsigned subtraction of 3 and 7 will overflow [-Wunsigned-subtraction]
如果需要将该类警告升级为错误直接阻断编译，可以搭配-Werror=unsigned-subtraction参数使用。

• 若编译期无法确定两个无符号操作数的具体值（比如操作数为外部传入的变量），可以使用运行时检测参数-fsanitize=unsigned-integer-overflow，程序运行时一旦检测到无符号整数的上溢/下溢行为，就会输出详细的报错信息，适合调试阶段使用。

可选静态分析工具 #

如果编译期警告覆盖的场景不足，可以使用以下静态分析工具检测这类问题：

• Clang静态分析器：编译时添加--analyze参数即可触发检测，能够识别大多数无符号运算下溢风险。
• Cppcheck：开源静态分析工具，运行时添加--enable=warning参数即可扫描这类运算风险。

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