reachable

コントロールフローグラフを作ってます．その一環でjavaの言語仕様としてのコマイ動きを調査中です．で，到達可能性の話へ．

＃ Javaのコントロールグラフを作るのにはJRBのCFG作成ライブラリを使っている． JavaCCが吐くコードの使い方さえ知っていれば使いやすいと思う．

javaのstatementに
while(false){System.out.println("hoge");}
これはコンパイルエラーになる．
けど，
if(false){System.out.println("hoge");}
これはOK. 仕様書にもそう書いてある(確か15章)．

いまいち理由がわからんな．

ドラえも~ん