有趣的 ud2 指令

引入#

忘了写 return 是大多数程序员经常犯的问题。在老版本的编译器下，程序运行时可能不会报任何错误；但在新版本的编译器中，编译器可能会插入 ud2 指令——当程序执行到这个指令时会立即触发异常并终止。

ud2 是 x86 架构中的一条指令，全称是 “Undefined Instruction”。它的作用是触发一个非法指令异常，通常用于调试或标记不可达代码路径。现代编译器（如 GCC、Clang）会在检测到某些未定义行为的场景下自动插入这条指令，以便在运行时尽早发现问题。

下面是真实开源项目中的代码示例，可以看到这些函数都少写了 return：

这些例子说明，忘记写 return 或者认为写 return 没有必要的情况在程序员中相当普遍。

实验#

下面在 Compiler Explorer 中进行实验，测试代码如下：

1
enum Color { RED, GREEN, BLUE };
2

3
int process(enum Color c) {
4
    switch (c) {
5
        case RED: return 1;
6
        case GREEN: return 2;
7
        case BLUE: return 3;
8
        // No default
9
    }
10
}

这段代码的问题在于：虽然 switch 覆盖了枚举的所有值，但从编译器的角度来看，enum Color 的取值范围不仅限于这三个值（未初始化的变量或通过类型转换可以产生其他值）。因此，函数存在一条没有 return 的执行路径。

GCC 13.1 是一个分水岭：在此之前的版本编译时不会添加 ud2，而在 13.1 及以后的版本中，编译器会在函数末尾插入 ud2 指令。

解决方案#

针对这个问题，有几种常见的解决方式：

1. 添加 default 分支并返回默认值：

1
int process(enum Color c) {
2
    switch (c) {
3
        case RED: return 1;
4
        case GREEN: return 2;
5
        case BLUE: return 3;
6
        default: return -1;  // 或使用 assert
7
    }
8
}

2. 在 switch 语句后添加 __builtin_unreachable()（GCC/Clang 扩展）：

1
int process(enum Color c) {
2
    switch (c) {
3
        case RED: return 1;
4
        case GREEN: return 2;
5
        case BLUE: return 3;
6
    }
7
    __builtin_unreachable();  // 告诉编译器这条路径不会被执行
8
}

3. 使用 [[noreturn]] 或 exit()（如果确实不需要返回）：

在这个例子中，可以选择在 switch 语句结束后调用 exit() 或 abort() 来保证程序行为的一致性：

总结#

ud2 指令的插入体现了现代编译器对未定义行为更加严格的处理态度。虽然这可能导致一些旧代码在新编译器上崩溃，但从长远来看，这有助于更早地发现潜在的 bug。

在编写代码时，应该确保所有执行路径都有明确的返回值。如果某些路径确实不可能到达，应该使用 assert 或 __builtin_unreachable() 明确告知编译器，而不是依赖隐式行为。