gcc没有警告未初始化的变量
以下代码具有可能未初始化的变量。 似乎gcc应该生成警告，但不是：
$ cat ac int foo(int b) { int a; if (b) a = 1; return a; } $ gcc-4.7 -c -Wall -Wmaybe-uninitialized -o ao ./ac $ 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报告未初始化变量的任何线索？
看起来你不能 – 看到这个错误报告 。 （而这一个 ，被标记为那个 – 它与你的测试用例相同。）因为看起来根本原因的bug几乎已经有10年了，所以它似乎不是一个容易解决的问题。 事实上，我链接的第二个错误在讨论中有一个“永远不会被修复”的短语，所以看起来不太好。
如果它对你真的很重要的话， clang 确实 -Wsometimes-uninitialized这个与-Wsometimes-uninitialized一起-Wsometimes-uninitialized ，它包含在-Wall ：
ac:3:7: warning: variable 'a' is used uninitialized whenever 'if' condition is false [-Wsometimes-uninitialized] if (b) ^ ac:5:10: note: uninitialized use occurs here return a; ^ ac:3:3: note: remove the 'if' if its condition is always true if (b) ^~~~~~ ac:2:8: note: initialize the variable 'a' to silence this warning int a; ^ = 0 1 warning generated.
问题是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，并且在这种情况下任何“未初始化”警告都是虚假的，从而降低了编译器的信噪比。警告生成。
我同意如果编译器为这样的事情提供更好的诊断会很好，但这并不容易，并且可能有误报的警告总是在混乱的代码与警告的解决方法和未能捕获错误之间的微妙平衡。
您需要启用某种优化。 例如，使用-O2重新编译示例，将出现警告。
由于这需要分析代码路径并且这是一个相当昂贵的计算，因此GCC仅在被要求优化代码时启用它。
uninitializedTest.c：
#include #include int main(void) { int result; if(rand()) result = 1; printf("%d\n", result); return 0; }
以下是几个测试运行：
$ avr-gcc -Os -Wuninitialized -o uninitializedTest uninitializedTest.c $ gcc-4.2 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c $ gcc-4.0 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c uninitializedTest.c: In function 'main': uninitializedTest.c:32: warning: 'result' may be used uninitialized in this function $ gcc-4.2 -Os -Wmaybe-uninitialized -o uninitializedTest uninitializedTest.c cc1: error: unrecognized command line option "-Wmaybe-uninitialized" $ gcc-4.2 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c $ gcc-mp-4.8 -Os -Wuninitialized -o uninitializedTest uninitializedTest.c $ gcc-mp-4.8 -Os -Wmaybe-uninitialized -o uninitializedTest uninitializedTest.c
avr-gcc是4.8（avr-gcc-4.4.5也未检测到）
看来gcc-4.0有能力识别问题。
$ gcc-4.0 -v Configured with: /var/tmp/gcc/gcc-5493~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --program-prefix= --host=powerpc-apple-darwin9 --target=powerpc-apple-darwin9 Thread model: posix gcc version 4.0.1 (Apple Inc. build 5493)
那么……它是否是Apple特有的补充，他们持有许可证？ 或者也许这就是为什么Apple已经远离开源……难道他们修复了一个十年前的bug并且gcc社区不接受它？