如何在保留前置枚举检查时，让gcov排除冗余不可见else分支？

问题背景 #

现有如下C语言函数：

int myFunction(my_enum_t x)
{
  int result = 0;

  if ((x != ENUM_VAL_A) &&
      (x != ENUM_VAL_B) &&
      (x != ENUM_VAL_C))
  {
    result = -1;
  }

  if (0 == result)
  {
     result = mutateSomething(x);
  }

  if (0 == result)
  {
    if (x == ENUM_VAL_A)
    {
       result = doOneThing();
    }

    else if (x == ENUM_VAL_B)
    {
       result = doThing2();
    }

    else if (x == ENUM_VAL_C)
    {
       result = doThing3();
    }
    /* Invisible else */
  }

  return result;
}

出于代码清晰或避免复杂化mutateSomething()的目的，希望保留函数开头对x的枚举值检查，但gcov会识别到注释标注的「不可见else」分支（实际不可达）并标记为未覆盖。即使使用gcovr的--exclude-unreachable-branches选项，该分支仍会被视为未覆盖。目前偶尔会用排除标签包裹最后一个else if代码块，但这种方法在仅含一两个函数的源文件中无法使用，需要无需移除前置枚举检查的解决办法。

可行解决办法 #

1. 添加显式else分支并标记不可达 #

在最后一个else if后添加显式的else块，里面用编译器扩展或断言标记该分支不可达。这样gcov会识别到该分支是有意设计为不可达的，不会标记未覆盖。

示例代码：

if (0 == result)
{
  if (x == ENUM_VAL_A)
  {
     result = doOneThing();
  }
  else if (x == ENUM_VAL_B)
  {
     result = doThing2();
  }
  else if (x == ENUM_VAL_C)
  {
     result = doThing3();
  }
  else
  {
    // 标记该分支不可达，GCC/Clang支持
    __builtin_unreachable();
    // 或者用断言作为兼容性 fallback
    assert(false && "Unexpected enum value");
  }
}

__builtin_unreachable()会直接告诉编译器这个分支永远不会执行，gcov会忽略该分支的覆盖检查；如果需要跨编译器兼容性，assert(false)也能让gcov明白该分支无需测试覆盖。

2. 将条件判断替换为switch-case结构 #

switch-case在处理枚举类型时，若覆盖了所有枚举值，gcov不会生成额外的未覆盖分支（配合default分支标记不可达效果更好）。

示例代码：

if (0 == result)
{
  switch(x)
  {
    case ENUM_VAL_A:
      result = doOneThing();
      break;
    case ENUM_VAL_B:
      result = doThing2();
      break;
    case ENUM_VAL_C:
      result = doThing3();
      break;
    default:
      __builtin_unreachable();
      assert(false && "Unexpected enum value");
  }
}

这种写法逻辑更清晰，且gcov能正确识别所有分支都已覆盖（default分支被标记为不可达，不会计入未覆盖统计）。

3. 利用编译器属性标记枚举完整性 #

部分编译器支持属性来标记枚举类型是封闭、无扩展的，比如GCC的__attribute__((enum_extensibility(closed)))（需要GCC 12及以上版本），告诉编译器该枚举不会有额外值，这样gcov会认为后续的条件判断已经覆盖所有可能，不会生成未覆盖的隐形分支。

首先在枚举定义时添加属性：

typedef enum __attribute__((enum_extensibility(closed))) {
    ENUM_VAL_A,
    ENUM_VAL_B,
    ENUM_VAL_C
} my_enum_t;

之后原代码的条件判断部分无需修改，gcov会自动识别所有枚举值已被覆盖，不再标记隐形else分支未覆盖。

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