MISRA C:2023 Rule 16.1

All switch statements shall be well-formed

R2024a 以降

説明

ルール定義

All switch statements shall be well-formed ¹

根拠

C では switch ステートメントの構文は特に厳密ではなく、複雑で構造化されていない動作を許可しています。このルールおよび他のルールは switch ステートメントに対して単純で整合性のとれた構造を課しています。

Polyspace 実装

MISRA™ 仕様に従って、コーディング ルール チェッカーでは、switch ステートメントが次のルールのいずれかに違反する場合、ルール 16.1 の違反も報告します。16.2、16.3、16.4、16.5、または 16.6

トラブルシューティング

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

チェック情報

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

カテゴリ: 必要

AGC カテゴリ: 推奨

バージョン履歴

R2024a で導入

参考

MISRA C:2023 のチェック (-misra-c-2023) | MISRA C:2023 Rule 15.3 | MISRA C:2023 Rule 16.2 | MISRA C:2023 Rule 16.3 | MISRA C:2023 Rule 16.4 | MISRA C:2023 Rule 16.5 | MISRA C:2023 Rule 16.6

トピック

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

---

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