以下のエラーを検出することが出来ます。

（実例１）

sub() { 　　int cnt; 　　 　　cnt = 0; 　　while( cnt < 10 ) 　　{ 　　　　continue; 　　　　 　　　　cnt++; 　　} }

この部分は、処理が行われない。