为何带[-Wreturn-type]警告的函数在优化时会忽略if语句？

环境信息 #

• 操作系统：Ubuntu 22.04
• 编译器：GCC 11.2 x86_64

测试代码 #

#include <cstdlib>

int func(int val) {
    if (val == 1) {
    } else {
        abort();
    }
}

int main(int argc, char* argv[]) {
    func(argc);
}

问题现象 #

无优化编译运行时程序表现正常，但使用g++ tmp.cpp -O3编译后，func函数会直接忽略输入值调用abort。虽然在func末尾添加return语句可以修复这个问题，但需要了解背后的原因。

优化后func函数的反汇编输出（objdump -d a.out） #

0000000000001060 <_Z4funci>:
    1060:   f3 0f 1e fa             endbr64 
    1064:   50                      push   %rax
    1065:   58                      pop    %rax
    1066:   50                      push   %rax
    1067:   e8 e4 ff ff ff          call   1050 <abort@plt>

原因解析 #

这本质是C++标准里的未定义行为导致的。

你的func声明要返回int类型，但当val == 1时，执行完空的if分支后，函数没有执行任何return语句就直接退出了——这种情况属于C++标准明确规定的未定义行为。

编译器在-O3这种高优化级别下，会基于"程序不会触发未定义行为"的前提做激进优化：它会判定val == 1的分支永远不会被走到（因为走这个分支就会触发未定义行为），所以直接把整个函数简化成无条件调用abort。

无优化编译时，编译器没有做这种激进假设，会按代码字面逻辑执行：当val是1时，函数虽然没有返回值，但程序只是随便返回栈上的一个垃圾值，不会触发abort，所以看起来"正常"——但这依然是未定义行为，只是碰巧表现符合预期罢了。

内容的提问来源于stack exchange，提问作者陈泽霖