とても賢いコンパイラーの逆襲

The Hacks of Life: The Dangers of Super Smart Compilers Clangの最適化が未定義の挙動を検出してコード片を消し去ってしまったことに引っかかった開発者の嘆き。 今日初めて、RenderFarmのDSF render(global scenaryを作成するのに使っている内部ツール)をClangで最適化コンパイルして実行した。 結果はsegfaultだった。これは驚きだ（そして自身消失だ）。というのも、最適化していないデバッグビルドは問題なく動くし、GCCでコンパイルされた最適化ビルドも正しく動く。-O0ではバグがない（つまり#if DEVコードのバグではない）ので、「最適化は何をやっているんだ」の時間だ。 大量のprintfと試行錯誤の結果、最適化は以下のようなコード片を丸ごとすっ飛ばしていることが判明した。 for(vector<me

[wordi]

「なんでもは出来ないわ、定義されてるものだけ」

[naqtn]

"/* ほら、直してやったぜ */"こんな風にコンパイラと対話できたらおもしろそう。と思ったけどIDEで行われている入力時点でのサジェスチョンって機能的には同じか..。

[nimroder]

“Clangの援護をすると、プログラムの実行時間はseffaultを起こすまでは確かに早かった。”ワロタ

[zyzy]

オプティマイザ「未定義なもの書いたなら、何されても文句は言えねぇよなぁ？」というお話。こんなこともあるんだな

[ystt]

「Clangの最適化が未定義の挙動を検出してコード片を消し去ってしまったことに引っかかった開発者の嘆き。」

[ka_ko_com]

LLVM clang、最適化をやり過ぎるバグなのね。 …… 本の虫 とても賢いコンパイラーの逆襲