g++ O2优化编译C++代码报未定义行为警告原因求解

警告成因 #

这是GCC 9.x版本在开启-O2优化时，-Waggressive-loop-optimizations检查的误报问题，核心是编译器静态推导循环边界时出现逻辑偏差：

• 你对代码逻辑的判断是正确的：NUM_ELEMENTS值为10000，NUM_ELEMENTS-2值为9998，第一个for循环中i从1开始每次加3，最后一次循环i取值为9997，执行完自增后i变为10000，刚好等于NUM_ELEMENTS，后续while循环的进入条件永远不满足，不会执行。
• 但GCC 9的激进循环优化pass处理未初始化循环变量的边界推导时存在bug：它错误假设如果while循环会执行，那么i一定是发生了无符号整数溢出回绕，取值会变成警告中给出的超大值4611686018427387903（即64位size_t类型最大值减2），此时访问a[i]会触发数组越界的未定义行为，哪怕这个执行分支实际上永远不可能走到。

修改消除警告的原因 #

• 替换为等价for循环写法：GCC对for循环的边界推导逻辑比while循环更成熟，优化pass可以正确识别到该循环的终止条件永远不满足，不会进入循环，自然不会触发越界判定。
• 将数组改为全局变量：全局数组的访问边界在编译期完全确定，指针访问的范围推导精度更高，编译器可以直接确认哪怕i真的溢出回绕，也不可能落在全局数组的合法访问范围内，会直接把while循环作为死代码删除，不会触发警告。

规避方案 #

• 升级GCC到10及以上版本，该误报bug已经在后续版本被修复
• 无需改动代码的前提下，可主动添加编译参数-Wno-aggressive-loop-optimizations关闭该检查项，不会影响正常优化效果
• 声明变量i时直接初始化size_t i = 1，也可以避开该推导bug

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