为何C++用-O3编译时，无返回非void函数的for循环被优化为无限循环？

核心优化逻辑：基于未定义行为（UB）的控制流优化 #

C++标准明确规定：非void类型的函数必须通过return语句（或抛出异常）返回值，如果执行到函数末尾仍未退出，属于未定义行为（Undefined Behavior）。

在-O3等高级优化级别下，GCC（包括你使用的Ubuntu 9.4.0版本和Xilinx的aarch64交叉编译器）会利用这一规则做激进优化：编译器会假设你的程序不会触发UB，因此会判定broken_for_loop()中的循环不可能正常结束——因为如果循环正常执行到i >= 10000退出，函数就会走到末尾触发UB，而编译器直接忽略这种“不可能发生”的场景。

基于这个假设，编译器会直接移除循环的终止检查i < 10000，把循环变成一个只执行i += 1000和输出的无限循环，直到32位int溢出（溢出本身也是UB，但实际运行中会按补码循环递增）。

为什么不同场景表现不同？ #

• 无优化（-O0）时正常：此时编译器不会做基于UB的激进优化，会严格按照代码的字面逻辑生成指令，保留循环终止条件，循环执行10次后正常退出（虽然此时函数走到末尾触发UB，但无优化下编译器不会主动修改控制流）。
• 添加return 0后正常：函数有了合法的退出路径，编译器不再假设循环无法正常结束，会保留循环终止条件，循环执行完成后通过return退出，符合标准，优化器不会篡改控制流。
• volatile/更换整数类型无效：问题根源不是变量i的存储特性或类型宽度，而是函数无返回导致的UB假设。只要函数没有合法的退出路径，编译器就会判定循环无法正常结束，依然会移除终止条件。

这类优化的常规作用 #

这种基于UB的控制流优化是编译器提升性能的常用手段，在合法代码中能有效简化控制流、消除冗余检查：

• 比如如果一个函数的所有路径都有明确的return，编译器可以优化掉那些为了处理“函数走到末尾”这种UB场景的冗余代码。
• 再比如，编译器可以假设指针不会为空（除非你显式检查），从而消除不必要的空指针判断，提升执行效率。

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