データフロー解析に基づけば常に一定の値になるものの、そうあるべきではないと思われる値を持つ式を報告します。
例:
if (
2 < 3
) // 条件は常に true です