CWARN.CONSTCOND.SWITCH

Switch 选择器表达式为常量

CWARN.CONSTCOND.SWITCH 检查器可查找其中 switch 语句的条件为常量的实例。

漏洞与风险

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

漏洞代码示例

复制
  void foo() {
    switch(3 + 2) { } 
  }

Klocwork 对第 2 行进行了标记,该行中的 switch 选择器为常量。

外部指导