GCCは初期化されていない変数について不平を言わない

Question

gccがjが初期化されていないと不平を言っていないのはなぜですか？ j + = 10を削除すると、実際には不平を言います... -Wallでコンパイルします（gcc 4.9と5.3でテスト済み）。

int main(void) 
{ 
    int i; 
    int j; 
    int threshold = 100; 

    for (i = 0 ; i < 100 ; i++) 
    { 
     if (j >= threshold) 
      break; 
     j += 10; /* comment this line to enable uninitialized variable warning */ 
    } 
    return 0; 
} 

Answer 1

オプティマイザは、ループ全体が無意味であるが、それは少し複雑であることを把握することができますし、それは、あなたが高い警告レベルを使用していることを確認し、それが表示させない場合。 iとjの値はループの後で使用されず、jはループの中で使用されているため、ループの反復回数が問題。このような状況で、jを乱数に初期化すれば、まったく同じ結果になります。だからコンパイラは何も有害なことは起こりませんので、警告を出しません。

明らかに未定義の動作があるため、初期化されていない変数が原因でアプリケーション全体がクラッシュする可能性があります。しかし、それはコンパイラに任されています。そのようなことが起こった場合は、警告を受けるべきです。

Answer 2

この最適化レベルを高く設定すると、ループが最適化の目的で削除される可能性があります。

-O1または-O0でコンパイルしてみてください。

-Wallと-pendantic