C and C++

LANG.STRUCT.SW.MD : default節の欠如

要旨

switch 文が default ラベルを含んでいません。

このクラスは 正しく記述されていないswitch文 の部分集合となります。

switch 文が下記の複数のワーニングを含む場合、 その部分集合のみが表示される可能性があります。

プロパティ

クラス名 Missing default
日本語クラス名 default節の欠如
クラス分類 スタイル (style)
ニーモニック LANG.STRUCT.SW.MD
カテゴリー
MisraC2023 MisraC2023:16.4 Every switch statement shall have a default label
Misra2012 Misra2012:16.4 Every switch statement shall have a default label
Misra2004 Misra2004:15.3 The final clause of a switch statement shall be the default clause
AUTOSARC++14 AUTOSARC++14:M6-4-6 The final clause of a switch statement shall be the default-clause.
MisraC++2008 MisraC++2008:6-4-6 The final clause of a switch statement shall be the default-clause.
MisraC++2023 MisraC++2023:9.4.2 The structure of a switch statement shall be appropriate
CWE CWE:478 Missing Default Case in Multiple Condition Expression
TS17961 TS17961:5.17-swtchdflt 5.17. Use of an implied default in a switch statement
JSF++ JSF++:194 All switch statements that do not intend to test for every enumeration value shall contain a final default clause.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっており、プロジェクトには非正規の C向けAST が必要になります。有効にするにはプロジェクト設定ファイル （configuration file） に以下の WARNING_FILTER ルールと RETAIN_UNNORMALIZED_C_AST 設定を追加してください。 
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Missing default"
注：非正規化された AST を継続して使用した場合、使用ディスク容量が増加し解析時間が長くなる可能性があります。

例 

void lang_struct_sw_md(int i){

    switch (i){                                     /* contains a default clause */
        case 1: {/* ... */ break;}
        case 2: {/* ... */ break;}
        default: {/* ... */ break;}
    }

    switch (i){                  /* 'Missing default' warning issued here */
        case 1: {/* ... */ break;}
        case 2: {/* ... */ break;}
        case 3: {/* ... */ break;}
    }
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。