GCC -O2优化删除预期无限循环：是特性、Bug还是未定义行为？

结论 #

该优化结果是代码触发C++标准定义的**未定义行为（UB）**导致的，不属于GCC的特性或Bug。

触发UB的核心原因 #

你的代码违反了C的严格别名（Strict Aliasing）规则：C标准明确规定，内存对象只能通过与其类型兼容的左值访问，否则属于未定义行为。
你的代码中存在两处非法类型转换：

• 将u64**类型的局部变量地址&a、&p强制转换为u64*类型赋值给p和a
• 后续通过*p解引用访问内存时，指针声明类型与实际指向的对象类型不匹配，完全符合严格别名规则下的UB判定条件。

GCC-O2优化的判定逻辑 #

GCC在-O2及更高优化等级默认开启-fstrict-aliasing优化，会基于「不同类型的指针不会指向同一块内存」的假设做激进的代码裁剪：
编译器认为你通过u64*类型的指针不可能合法访问到u64*类型的局部变量本身的值，因此判定后续的while循环逻辑没有合法的执行路径，直接将整个函数优化为返回空指针，对应你看到的汇编代码。

两种符合预期场景的说明 #

• 改为return a时：编译器会识别到局部变量a被作为返回值使用，不会直接裁剪整个函数的执行逻辑，虽然返回局部变量地址本身也属于UB，但当前版本GCC的优化逻辑没有触发代码全丢弃的路径，因此运行结果符合预期。
• 改为全局变量时：全局变量的类型符号信息更明确，当前版本GCC的严格别名优化没有针对该场景做激进判定，因此代码会按照预期逻辑执行，但本质上类型转换访问的UB依然存在，更换编译器或GCC版本仍可能出现异常结果。

修复方案 #

如果需要保留现有代码逻辑，可以在编译参数中添加-fno-strict-aliasing关闭严格别名优化；更合规的方案是修改代码，避免跨类型的非法指针访问，符合C++标准的别名规则。

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