枚举类全分支含return，GCC仍报控制流至非void函数末尾？

我编写了一段对枚举类所有值进行switch case判断的代码，所有分支均包含return语句，但GCC 10.5及主干版本仍判定控制流可能到达非void函数末尾，而相同代码在Clang 16中可正常编译。请问这是GCC的正确行为还是存在bug？

代码示例：

#include <cassert>

enum class C
{
    A, B
};

int foo()
{
    C c;
    switch (c) {
        case C::A:
          assert(false);
        case C::B:
          return 0;
    }
}

这是GCC的正确行为，完全符合C++标准，不是bug。核心原因如下：

1. 未初始化枚举类对象可能持有枚举值之外的数值 #

C++标准规定，自动存储期的未初始化对象（比如这里的C c;）持有不确定值。枚举类的底层类型默认是int，这意味着c可能存储任何int范围内的数值——不仅限于枚举定义的A和B。

当c的值不在A或B的范围内时，switch语句没有对应的case分支，控制流会直接跳出switch，到达函数末尾却没有return，这就触发了GCC的控制流检查错误。

Clang的表现属于更激进的优化假设（默认认为枚举类对象只会持有定义的枚举值），但这并不是C++标准强制要求的行为。

2. case C::A分支存在控制流漏洞 #

即使忽略未初始化的问题，case C::A分支里的assert(false)也存在隐患：

• Debug模式下，assert(false)会终止程序，看似没问题；
• 但Release模式下，NDEBUG宏会被定义，assert会被展开为空语句，此时该分支没有break或return，会直接“贯穿”到case C::B的return语句。不过这只能覆盖C::A的情况，依然解决不了枚举值超出A/B范围的问题。

可以通过以下几种方式解决这个问题：

• 给c初始化确定的枚举值，比如C c = C::A;；
• 给switch添加default分支，明确处理意外情况，比如default: assert(false); return -1;；
• 在case C::A的assert(false)后添加明确的return或GCC扩展__builtin_unreachable();，告诉编译器该分支之后的代码不可达；
• 使用[[noreturn]]标记一个终止函数，替换assert(false)，让编译器明确知道该分支不会继续执行。

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