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

（実例１）

sub() { 　　int flg; 　　 　　if( flg == 0 ) 　　{ 　　　　return(); 　　} }

変数"flg"に値を設定せずに使用している。