>>442
そりゃフロー解析はできるだろうけど、そんなことしたら
"コンパイラの実装によって通ったり通らなかったりする"
ようなコードが世の中に流通することになる。困るよ．

言語仕様からはずれたソースを弾くのも
コンパイラの大事な仕事のひとつだよ。

言語仕様はなるべくシンプルにしておいて欲しいし
あのソースは弾くのが正しい挙動かと思われ。