CWARN.CONSTCOND.SWITCH

switch セレクター式は定数です

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

脆弱性とリスク

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

脆弱コード例

コピー
  void foo() {
    switch(3 + 2) { } 
  }

Klocwork は、switch セレクターが定数である 2 行目にフラグを立てます。

外部参考資料