如何配置GCC与Clang以强制检查所有代码路径的返回值并阻止不符合要求的代码编译？

我完全懂你的困惑——明明这些明显的返回值路径遗漏属于未定义行为（UB），GCC和Clang默认居然还能编译通过，而MSVC默认反而更严格，这确实有点反直觉。先给你直接的解决方案，再慢慢唠细节：

针对核心需求：把返回值路径遗漏从警告升级为编译错误 #

GCC和Clang其实默认会对这类问题发出警告，但默认不会阻止编译。你只需要把对应的警告升级为错误就行，具体有两种选择：

• 如果你只聚焦返回值路径的问题，直接添加编译选项：-Werror=return-type
  这个选项会把两种情况直接变成编译错误：

  1. 非void返回类型的函数完全没有写return语句（比如你例子里的int func_returning_int() {}）
  2. 函数存在部分代码路径没有返回值（比如你例子里带if (rand() ==5)的分支返回、其他分支没返回的情况）

• 如果你想要更全面的代码严格检查，也可以用组合选项：-Wall -Wextra -Werror
-Wall会开启大部分常用警告（包括返回值问题），-Wextra开启更多额外的细节警告，-Werror把所有触发的警告直接升级为错误。不过要注意，这个组合会把其他无关警告也变成错误，比如变量未使用之类的，你可以根据项目实际需求选择。

关于不同编译器的默认策略差异 #

你提到MSVC默认更严格，这点确实有意思——不同编译器的设计策略不一样：MSVC默认把这类返回值遗漏当成错误，而GCC和Clang默认偏向“宽松编译，让用户自主选择严格程度”。不过通过上面的选项，你完全可以把GCC和Clang调整到和MSVC一样的严格程度，甚至更严。

比如你举的那个int func_returning_int() {}的例子，加上-Werror=return-type后，GCC和Clang都会直接报错、拒绝编译，和MSVC的表现完全一致。

内容来源于stack exchange