MISRA C:2012 Rule 16.6

Every switch statement shall have at least two switch-clauses

説明

ルール定義

Every switch statement shall have at least two switch-clauses ¹ .

根拠

単一パスのみの switch ステートメントは冗長であり、プログラミング エラーを示している可能性があります。

トラブルシューティング

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

チェック情報

グループ: switch ステートメント

カテゴリ: 必要

AGC カテゴリ: 推奨

バージョン履歴

R2024a: 複数のケースと 1 つのフォールスルーが含まれる非準拠の switch ステートメント

R2024a では、switch ステートメントに 2 つのケースが含まれており、1 つのケースがもう 1 つのケースにフォールスルーする場合に、ルール チェッカーは違反を報告します。switch ステートメントに複数のケースが含まれているにもかかわらず、パスが 1 つのみであるために、これは違反となります。

void example (int i) {
    switch(i) {            // Noncompliant
        case 1:
        case 2:
            break;
    }
}

参考

MISRA C:2012 Rule 16.1 | MISRA C:2012 のチェック (-misra3)

トピック

• コーディング規約違反のチェックおよびレビュー

---

¹ 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.