c - GCC 的 -Wmaybe-uninitialized 是否为基于枚举的 switch 语句生成带有 -O1 的虚假警告？

Question

我有一段如下形式的代码:

typedef enum {A=1,B} EnumType;

int foo (EnumType x)
{
  int r;
  switch (x) {
    case A:
      r = 1;
      break;
    case B:
      r = 2;
      break;
      /*
    default:
      r = -1;
      break;
      */
  }
  return r;
}

我使用 GCC 6.3.0 编译并收到警告:

$ gcc --version
gcc (MacPorts gcc6 6.3.0_2) 6.3.0
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

$ gcc -c -Wall -O1 test.c
test.c: In function 'foo':
test.c:20:10: warning: 'r' may be used uninitialized in this function [-Wmaybe-uninitialized]
   return r;
          ^

代码对我来说似乎是安全的，而且确实有一些关于 GCC producing false positives with this warning 的讨论.

这是虚假警告吗？

更多相关信息:

• 添加注释掉的 default: block 解决警告
• -O0 不会出现警告

Answer 1

这个警告是完全正确的，因为 enum 类型不限制可能的值到这个 enum 中定义的成员——它可以代替 基础整数类型的任何值。因此，如果您的 switch 中没有 default 分支，您确实可以使用未初始化的 r 和您显示的代码。

我可以使用问题中显示的确切代码重现 gcc 和 -O0 缺少的警告，所以在我看来这就像是 gcc 中的错误。无论优化级别如何，都应发出警告。