EN JP CN

CWARN.CONSTCOND.IF

CWARN.CONSTCOND.IF

if 式の条件は定数です

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

脆弱性とリスク

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

脆弱コード例

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

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