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

（実例１）

int sub( int x ) { 　　short y; 　　x = 1 ; 　　y = 1 ; }

関数パラメータ“y”、自動変数“x”が宣言・設定されたが、使用されていない。