18

次のコードには、初期化されていない可能性のある変数があります。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 に初期化されていない変数を報告させる方法の手がかりはありますか?

4

4 に答える 4

14

このバグ レポートが表示されないようです。(そして、これはそのものの複製としてマークされています - それはあなたのものと同一のテストケースを持っています。) 根本原因のバグはほぼ 10 年前のものであるように見えるので、解決するのは簡単な問題ではないようです。 . 実際、私がリンクした 2 番目のバグには、議論の中で「修正されることはありません」というフレーズが含まれているため、見栄えがよくありません。

それがあなたにとって本当に重要な場合、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.
于 2013-07-17T17:07:58.207 に答える
5

問題は、引数なしで関数を呼び出すことを 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 のみを渡すというインターフェイス契約を持つ完全に合理的な関数であり、その場合、「初期化されていない」警告は偽物であり、それによってコンパイラの信号対雑音比が低下します。警告生成。

コンパイラがこのようなことに対してより良い診断を提供してくれるといいのですが、それは簡単なことではありません。また、誤検知の可能性がある警告は常に、警告の回避策を備えたコードの混乱とバグの検出の失敗との間の微妙なバランスをとる行為です。

于 2013-07-17T17:17:40.877 に答える
4

何らかの最適化を有効にする必要があります。たとえば、-O2 を使用して例を再コンパイルすると、警告が表示されます。

これにはコード パスの分析が必要であり、かなり高価な計算であるため、GCC はコードの最適化を要求された場合にのみ有効にします。

于 2016-05-03T22:49:02.913 に答える
1

uninitializedTest.c:

#include <stdio.h>
#include <stdlib.h>


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 がオープンソースから遠ざかっている理由なのかもしれません...彼らは 10 年前のバグを修正し、gcc コミュニティはそれを受け入れなかったのでしょうか?

于 2014-05-06T10:06:37.907 に答える