データフロー解析において、ある関数内で定義された変数が関数の終了までに一度も使用されない状態はどれか。

変数を定義したが、その値を一度も利用せずにスコープを外れるのは、無駄なコードまたは論理ミスの可能性がある。