Success is a Journey, not a Destination: 全てのCプログラマが未定義な振る舞いについて知っておくべきこと #1/3

[What Every C Programmer Should Know About Undefined Behavior #1/3 の翻訳です。] LLVMでコンパイルしたコードは、最適化を有効にしているとたまにSIGTRAPシグナルを生成するのはなぜなのか、と聞かれることがある。いろいろ調べたあと、(X86での話だが) Clangは "ud2" インストラクションを生成していたことがわかった。"ud2" は__builtin_trap()が生成するインストラクションと同じものだ。[訳注: #UD例外を発生させる命令。ソフトウェアが#UD例外をハンドルできているかテストするために使われる。つまり、ソースコードが未定義な振る舞いを使っていたから、LLVMはud2インストラクションを生成したのであって、LLVMのバグではない、ということ] こういう問題は幾つかあって、すべて、Cの未定義な振る

[iww]

いくつかの最適化は出来てるかもしれないけど、それを上回るデメリットにあふれてるとは思う

[mumumu-tan]

CやCから派生した言語に未定義な振る舞いが存在するのは、言語設計者がCをものすごく効率的な低レイヤプログラミング言語にしたかったからだ→ 未定義な振る舞いによって、いくつかの最適化が可能になっている

[efcl]

http://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html の翻訳

[nishitki]

Success is a Journey, not a Destination: 全てのCプログラマが未定義な振る舞いについて知っておくべきこと #1/3

[odawara]

llvm マクロ Cで検索したら見つかった川本さんのページ

[takkunn1611]

Success is a Journey, not a Destination: 全てのCプログラマが未定義な振る舞いについて知っておくべきこと #1/3

[hiboma]

"Cの未定義な振る舞いがあると、実装 (コンパイラと実行系) は、ハードディスクをフォーマットしたり、全く予期できない挙動を示したり" ビビった

[takafashi]

Lionになって、macportsライブラリが続々とエラーを起こしたのもこのへんが原因かしら。興味深し。

[fjwr38]

その内低レイヤー人間になるかもしれない時のために

[kiyo_hiko]

こんなにいろいろ罠があるのか　C++erな人よくわかるなあ

[masterq]

ちゃんと覚えておかないと。。。

[nanakoso]

>Ｃの「未定義な振る舞い」のおかげで可能となるコンパイラの最適化。

[koko1000ban]

ｫｫｫ日本語訳あった！