true、false、null、またはゼロなど、常に同じ結果になる式と条件を報告します。 Such expressions can be replaced with the corresponding constant value, or may indicate there is a bug in the code.

例:

  // always true
  // cause: || is used instead of &&
  if (x > 0 || x < 10) {}

  System.out.println(str.trim());
  // always false
  // cause: variable was dereferenced before null-check
  if (str == null) {}

このインスペクションの動作は、nullability アノテーション、@Contract アノテーション、@Range アノテーションなどのさまざまなアノテーションで制御できます。

インスペクションの構成:

常に true になることが静的に証明されているアサーションの報告を避けるには、「常に true になることが静的に証明されている条件を含むアサーションを報告しない」オプションを使用します。このような条件には、if (alwaysFalseCondition) throw new IllegalArgumentException(); なども含まれます。
インスペクションによる assert ステートメントの取り扱いを制御するには、「assert ステートメントを無視する」オプションを使用します。 By default, assertions are assumed to be executed (-ea mode). When the option is enabled, assertions will be ignored (-da mode).
値が定数であると分かっている変数が使用されている場合に警告を表示するには、「定数が変数に格納された場合に警告する」オプションを使用します。

IntelliJ IDEA 2022.3 より前は、このインスペクションは 定数条件および例外 インスペクションの一部でした。現在、そのインスペクションは 定数値 と null 許容性とデータフローの問題 の 2 つのインスペクションに分割されています。