Main Content

MISRA C:2023 Rule 16.1

All switch statements shall be well-formed

Since R2024a

Description

Rule Definition

All switch statements shall be well-formed

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

| | | | | |

Topics