MISRA C:2012 Rule 16.3
An unconditional break statement shall terminate every switch-clause
Description
Rule Definition
An unconditional break statement shall terminate every switch-clause1
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 |
See Also
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.
