CWARN.EMPTY.LABEL

ラベル ステートメントが空です

CWARN.EMPTY.LABEL チェッカーは、ラベルの直後に右括弧 (}) が配置されている switch ステートメントを検出します。

脆弱性とリスク

このタイプの状況は通常、意図しないプログラム動作の原因になる構文の間違いまたはタイポです。

脆弱コード例

コピー 
  void foo() {
    switch(c) {
      case 'a': return;
      case 'b':            
    }
  }

Klocwork は、switch ラベルを含み、次の式を持たない 4 行目にフラグを立てます。

修正コード例

コピー 
  void foo() {
    switch(c) {
      case 'a': return;
      case 'b': break;          
    }
  }

修正例は、case b に対するアクションを示します。

外部参考資料