> 参照してない仮引数があれば警告するオプションならば、ほとんどのコンパイラにある

は? こいつぼけか。
(1) 参照しかしてない
(2) 値が変わっている
(3) 参照もし、値が変わっている
の3種類を区別する方法だよ ぼけ。(1)はできるが、(2)と(3)を区別したい。