gcc没有警告未初始化的变量

Question

以下代码具有可能未初始化的变量.似乎gcc应该生成警告但不是:

$ cat a.c
int foo(int b) {
  int a;
  if (b)
    a = 1;
  return a;
}

$ gcc-4.7 -c -Wall -Wmaybe-uninitialized -o a.o ./a.c
$ gcc-4.7 -v
Using built-in specs.
COLLECT_GCC=gcc-4.7
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.7/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.7.3-2ubuntu1~12.04' --with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs --enable-languages=c,c++,go,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.7 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.7 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --with-system-zlib --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-2ubuntu1~12.04)

关于如何让gcc报告未初始化变量的任何线索？

Answer 1

看起来你不能 - 看到这个错误报告.(而且这个被标记为那个的一个 - 它与你的测试用例相同.)因为看起来根本原因的bug几乎已经有10年了,所以它似乎不是一个容易解决的问题.事实上,我链接的第二个错误在讨论中有一个"永远不会被修复"的短语,所以看起来不太好.

如果它对你真的很重要,那么clang 确实会抓住这个-Wsometimes-uninitialized,包含在-Wall:

a.c:3:7: warning: variable 'a' is used uninitialized whenever 'if' condition is
      false [-Wsometimes-uninitialized]
  if (b)
      ^
a.c:5:10: note: uninitialized use occurs here
  return a;
         ^
a.c:3:3: note: remove the 'if' if its condition is always true
  if (b)
  ^~~~~~
a.c:2:8: note: initialize the variable 'a' to silence this warning
  int a;
       ^
        = 0
1 warning generated.

Answer 2

您需要启用某种优化。例如，使用 -O2 重新编译示例，就会出现警告。

由于这需要分析代码路径并且计算成本相当高，因此 GCC 仅在需要优化代码时才启用它。

Answer 3

问题在于gcc无法知道您将使用零参数调用该函数。在这种情况下，您正在测试的事实可能是您有时打算进行测试的一个很好的暗示，但是一般情况要困难得多。考虑：

int foo(int b) {
  int a;
  switch(b) {
  case 1:
    a = 1;
    break;
  case 2:
    a = 0;
    break;
  case 3:
    a = 2;
    break;
  }
  return a;
}

这将是一个非常合理的函数，其接口协定是仅将1、2或3传递给它，并且在这种情况下任何“未初始化”的警告都是虚假的，从而降低了编译器的信噪比。警告生成。

我同意，如果编译器可以对此类情况进行更好的诊断，那将是很好的选择，但这并不容易，而且可能会出现假阳性的警告始终是使代码混乱和警告变通办法之间的微妙平衡。