EN JP CN

CWARN.CONSTCOND.TERNARY

CWARN.CONSTCOND.TERNARY

三項条件式の条件は定数です

CWARN.CONSTCOND.TERNARY チェッカーは、三項条件式の条件が定数であるインスタンスを検出します。

脆弱性とリスク

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

脆弱コード例

1  void foo(int a, int b, int x) {
2    int x = (x=10) ? a : b;    
3  }

Klocwork 条件式の結果が決して変化しない 2 行目にフラグを立てます。