EN JP CN

CWARN.CONSTCOND.SWITCH

CWARN.CONSTCOND.SWITCH

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

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

脆弱性とリスク

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

脆弱コード例

1  void foo() {
2    switch(3 + 2) { } 
3  }  

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