CWARN.CONSTCOND.SWITCH チェッカーは、switch ステートメントの条件が定数であるインスタンスを検出します。
ステートメントの条件が定数である場合、通常はプログラムの意図が達成されず、予期しない結果になります。
1 2 3 void foo() { switch(3 + 2) { } }
void foo() { switch(3 + 2) { } }
Klocwork は、switch セレクターが定数である 2 行目にフラグを立てます。