CWARN.CONSTCOND.TERNARY

三元条件表达式的条件为常量

CWARN.CONSTCOND.TERNARY 检查器可查找其中三元条件表达式的条件为常量的实例。

语句的常量条件通常会导致无法达到程序意图，并可能引起意外后果。

复制

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

Klocwork 标记了第 2 行，该行中条件表达式的结果将永远不变。