MISRA C:2023 Rule 16.1
All switch statements shall be well-formed
Since R2024a
Description
Rule Definition
All switch statements shall be well-formed1
Rationale
The syntax for switch statements in C is not particularly rigorous
and can allow complex, unstructured behavior. This rule and other
rules impose a simple consistent structure on the switch statement.
Polyspace Implementation
Following the MISRA™ specifications, the coding rules checker also raises a violation of
rule 16.1 if a switch statement violates one of these rules:
16.2, 16.3, 16.4, 16.5 or 16.6.
Troubleshooting
If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.
Check Information
| Group: Switch Statements |
| Category: Required |
| AGC Category: Advisory |
Version History
Introduced in R2024a
See Also
Check 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
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.
