C++コードが最適化されずにスキップされることがあります。なぜどんなアイデア？

Question

私はこれに2日間答えを探しましたが、成功しませんでした。私はこの問題に遭遇したことがないので、私はベストを尽くします。私と一緒に抱きしめてください。

私は1年以上前に作成したC++プロジェクトに戻ってきましたが、その時点では問題なく動作していました。私は同じプログラムを動かそうとしていた頃、この面白いと信じられないほど面倒な問題に遭遇しました。

ファイル.h一定の数字は、私はこの例では、拡張16進表記のマクロた

... 
short id; 
... 

file.cc

id = 0; 
while (id < some_large_number) 
{ 
    id = foo(); 
    if (id == 2) 
    { 
     //do something 
    } 
    else if (id == 2900) 
    { 
     //do something 
    } 
    else if (id == 30000) 
    { 
     //do something 
    } 
    else if (id == 40000) 
    { 
     //do something 
    } 
    else if (id == 45000) 
    { 
     //do something 
    } 
    else 
    { 
     //do something else 
    } 
} 

：コードのようなものでした。これは本当にバグだったが、デバッガは簡単に見つけられなかったことが分かる。

GDB（最適化なし）を使用してコードをステップ実行しようとしていたときに、毎回if (id == 30000)に達した後、GDBがelseステートメントに直接ジャンプすることに気づきました。数字は16進表記のcマクロであるため、最初に40000がsigned shortの制限を超えていることに気付かなかった。これは非常に誤解を招き、それを理解しようと時間を費やしました。私は外部ライブラリを再コンパイルし、g ++を再インストールしました。

明らかに、idをunsigned shortに修正すると問題が解決しました。もう1つの問題はコンパイラの問題のようです。しかし、私はまだ理解していません。実行中にコードのセクションが完全にスキップされ、最適化されていないのはなぜですか？なぜそれが各ifの声明を通らないのでしょうか？それで私は本当の問題を特定することができましたか？何か案は？

ありがとうございます。私はこれが最初の質問のために大丈夫だと思います。

Answer 1

shortは16ビット長で、その範囲は-32768〜32767です。したがって、決して40000または45000になることはありません。また、コンパイラはデッドコードを排除します（到達しないため）。

Answer 2

すべての警告をgccから有効にすると、コンパイル時にこれが起こることが通知されます。

Answer 3

私の結論はあなたと同じです：「最適化」をオンにしなくても最適化されたようです。たぶん、これらの定数述語「always true」/「always false」は、コード生成ステップのどこかで直接コードをスキップするために使用されます。つまり、-Oスイッチの最適化が実行されるよりも早くです。ちょうど推測。

Answer 4

GCCは優れた最適化コンパイラですが、-Werror、-Wallなどでエラーや警告情報が有効になっていても、GCCは診断コンパイルと同じレベルの情報を生成しません。コードを開発する際には、診断コンパイラのClangを使用して、バグやエラーを見つけるのを助けてください。 ClangはGCCとの互換性を意図していますが、いくつかの難解な機能を除いて、私はMakefile内の2つの間で自分のCCを変更することに問題はありませんでした。

コンパイラが最適化されているため、GCCはデフォルトでデッドコード除去を有効にすると信じています。これにより、あなたのid変数の範囲外のもののように、コンパイラが検出したすべてのブランチは不可能になります。このタイプのデッドコード除去を無効にすることができます。

Answer 5

コンパイル時に、C++コンパイラはコードを調べ、コードのどの部分がどのような順序で実行されるかを決定します。コンパイラがコードの一部が決して実行されないと判断した場合、コンパイラはコードを最適化しません。例えば

は：

ここ

int i = 0; 
if(i == 1) { 
    printf("This will never be printed\n"); 
} 

、それを実行することはありませんよう、if文を最適化する理由はありません。

インスタンスのこの種は、あなたがしてコンパイルした場合に拾われます：

g++ -Wall mycode.c

-Wall手段はすべての警告を表示し、mycode.cは、プロジェクトファイルです。

GDBを実行すると、プログラムの現在の流れが表示されます。 （if文の）分岐が偽である場合、なぜコードのその部分を通過するのでしょうか？ if-elseif-elseステートメントでは1つのブランチしか使用できません。

私はあなたを助けてくれることを願っています。