Main Content

MISRA C:2023 Rule 16.3

An unconditional break statement shall terminate every switch-clause

Since R2024a

Description

Rule Definition

An unconditional break statement shall terminate every switch-clause

Rationale

A switch-clause is a case containing at least one statement. Two consecutive labels without an intervening statement is compliant with MISRA™.

If you fail to end your switch-clauses with a break statement, then control flow “falls” into the next statement. This next statement can be another switch-clause, or the end of the switch. This behavior is sometimes intentional, but more often it is an error. If you add additional cases later, an unterminated switch-clause can cause problems.

Polyspace Implementation

Polyspace® raises a warning for each noncompliant case clause.

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