CWARN.CONSTCOND.IF

if 式の条件は定数です

CWARN.CONSTCOND.IF チェッカーは、if ステートメントの条件が定数であるインスタンスを検出します。

ステートメントの条件が定数である場合、通常はプログラムの意図が達成されず、予期しない結果になります。

コピー

1
2
3
  void foo(int x) {
    if (x=10) {} 
  }

Klocwork は、決して変化しない条件を含む 2 行目にフラグを立てます。