CWARN.CONSTCOND.TERNARY
三項条件式の条件は定数です
CWARN.CONSTCOND.TERNARY チェッカーは、三項条件式の条件が定数であるインスタンスを検出します。
脆弱性とリスク
ステートメントの条件が定数である場合、通常はプログラムの意図が達成されず、予期しない結果になります。
脆弱コード例
コピー
void foo(int a, int b, int x) {
int x = (x=10) ? a : b;
}Klocwork は、条件式の結果が決して変化しない 2 行目にフラグを立てます。