MISRA C:2012 Rule 16.5

A default label shall appear as either the first or the last switch label of a switch statement

このページをすべて展開する

説明

ルール定義

A default label shall appear as either the first or the last switch label of a switch statement. 1

根拠

このルールを使用すると、switch ステートメント内の default ラベルを容易に特定できます。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

void foo(int var){

    switch(var){
        default:   /* Compliant - default is the first label */
        case 0:
            ++var;
            break;
        case 1:
        case 2:
            break;
    }
        
    switch(var){
        case 0:
            ++var;
            break;
        default:    /* Non-compliant - default is mixed with the case labels */
        case 1:
        case 2:
            break;
    }
    
    switch(var){
        case 0:
            ++var;
            break;
        case 1:
        case 2:
        default:     /* Compliant - default is the last label */
            break;
    }
    
    switch(var){
        case 0:
            ++var;
            break;
        case 1:
        case 2:
            break;
        default:      /* Compliant - default is the last label */
            var = 0;
            break;
    }
}

この例では、同じ switch ステートメントが複数回示されています。それぞれ異なる場所に default があります。1 番目、3 番目および 4 番目の switch ステートメントは default が最初または最後のラベルでなければならないことを示しています。default は複合 switch 句 (たとえば、3 番目の switch) の一部にできますが、リストの最後でなければなりません。

チェック情報

グループ: switch ステートメント
カテゴリ: 必要
AGC カテゴリ: 推奨

参考

| |

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace® Bug Finder™ documentation are from the following MISRA standards:

  • MISRA C:2004

  • MISRA C:2012

  • MISRA C:2023

  • MISRA C++:2008

  • MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.