C++の未定義の挙動で呼ばれないはずの関数が呼ばれる場合

Krister Walfridsson’s blog: Why undefined behavior may call a never-called function 以下のようなコードをClangでコンパイルすると、 #include <cstdlib> typedef int (*Function)(); static Function Do; static int EraseAll() { return system("rm -rf /"); } void NeverCalled() { Do = EraseAll; } int main() { return Do(); } Clangは以下のような最適化されたコードを吐く。 main: movl $.L.str, %edi jmp system .L.str: .asciz "rm -rf /" これは以下のようなコードと同じだ。

[mohno]

「未定義の挙動はありえないのでその場合は除外してよい」←ビックリだけど、そもそも元のコードが間違っているわけで、特に深刻な問題というわけではないな。

[tmtms]

未定義こわい。未定義呼び出ししたら地球が爆発するかもしれない。

[turanukimaru]

未定義の挙動はありえないというより未定義の挙動はコンパイラが決めていいから最適化しちゃっていいんだよという話。ちょくちょくやる初期化し忘れで例外を吐いてくれる言語の親切さを思い知らせてくれる。

[mattn]

はたして「未定義だからしょうがない」と万人が言えるだろうか。

[iww]

CやC++は未定義や不定が多いので、きちんと定義してほしい。

[mellow-mikan]

なぜなのか。もちろん未定義の挙動のためだ。

[junjun777]

うひょー。関数ポインターへの代入を、コメントアウト代わりに関数化（まあそんなことするな、はおいといて）とかしてると遭遇するかも、と。確率は低そうだけど、頭の片隅にはおいておくかな。

[udzura]

未定義動作怖すぎる…

[tofu-kun]

怖い

[dowhile]

未定義なんだからパソコンが爆発してもいいんだよ

[el-condor]

未定義怖い

[endo_5501]

“なぜこのコードでEraseAllが呼び出されてしまうのか。もちろん未定義の挙動のためだ”

[rryu]

だんだん鼻から悪魔の世界に近づいてきたな。