C++编译器是否必须为无return语句的非void函数生成ret指令？

对于非void返回类型的函数执行流正常走到末尾的场景，C++ 编译器没有义务生成ret指令，该场景属于标准明确定义的未定义行为（Undefined Behavior, UB），编译器可以做任何符合优化逻辑的处理，包括省略ret指令。

C++ 标准的 [stmt.return] 章节明确规定：

非 void 返回类型的函数如果执行流正常抵达函数体末尾（未通过 return 语句、抛出异常、跳转指令等方式提前退出函数），程序行为未定义。

未定义行为不受任何标准约束，不同编译器版本、不同优化等级下的表现没有一致性要求，出现线程停止、程序崩溃、甚至表面正常运行都是合法的表现。

• 旧版本编译器未对该类 UB 做激进优化，出于兼容性考虑默认补充了ret指令，属于编译器的自选扩展实现，并非标准强制要求。
• 新版本编译器通常会基于「UB 永远不会被触发」的假设做优化，既然执行流走到函数末尾属于非法逻辑，编译器就可以直接裁剪掉末尾的ret指令以减少生成的代码体积，属于合法的优化行为。

• 优先修复代码缺陷：给所有非void返回类型的函数的所有执行路径补全return语句，从根源上消除未定义行为。
• 编译时开启对应告警：GCC/Clang 环境下开启-Wreturn-type编译选项，该选项会对所有缺失返回值的非void函数抛出警告，也可配置-Werror=return-type将该警告升级为编译错误，在编译阶段直接拦截这类问题。

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