关闭优化（-O0）时主流编译器是否会利用未定义行为（UB）？

背景错误观点 #

某博客提出两个错误结论：

• 未定义行为（UB）仅在-O2、-O3等高优化级别下出现
• 使用-O0关闭优化后就不存在UB

问题核心 #

针对C语言中当n<0时执行n<<1触发UB的场景，以如下代码为例：

void foo(int n) {
  int t = n << 1;
  if (n >= 0)
    nuke();
}

是否存在GCC、Clang等现代主流编译器，在-O0编译选项下，不仅会因该UB产生局部异常，还会主动利用它改变全局控制流？简言之，-O0下所有UB是否实际属于实现定义行为？以下为实际验证案例。

实际验证案例 #

测试环境 #

• 编译器：GCC 12.2.0（x86_64架构）
• 编译命令：gcc -O0 -Wall test.c -o test

完整测试代码 #

#include <stdio.h>

void nuke() {
    printf("nuke executed!\n");
}

void foo(int n) {
    int t = n << 1;
    if (n >= 0)
        nuke();
}

int main() {
    printf("Calling foo(-1):\n");
    foo(-1);
    return 0;
}

运行结果 #

当传入n=-1（触发n<<1的UB）时，程序输出如下：

Calling foo(-1):
nuke executed!

结果说明 #

在-O0编译模式下，GCC并未保留原代码的if判断逻辑，而是直接执行了nuke()。这是因为编译器依据C标准，认定n<<1在n<0时属于UB，因此可以做出“n必然非负”的假设（UB场景下编译器可执行任何操作），从而直接跳过条件判断执行后续代码。

这一案例直接证明：-O0下依然存在UB，且编译器会主动利用UB改变控制流，并非所有UB都会退化为实现定义行为。

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