MISRA C:2012 Rule 16.3

规则定义

An unconditional break statement shall terminate every switch-clause ¹

理由

switch 子句是包含至少一条语句的 case。两个连续的标签之间没有语句是符合 MISRA™ 的。

如果未在 switch 子句结尾使用 break 语句，那么控制流会“落入”下一条语句。此下一条语句可以是另一个 switch 子句，也可以是 switch 的结束部分。这种行为有时是有意为之，但更多时候是个错误。如果您之后添加额外的 case，未终止的 switch 子句可能会引发问题。

Polyspace 实现

Polyspace^® 会针对每个不符合要求的 case 子句发出警告。

故障排除

如果您预计存在违规，但未看到该违规，请参阅Diagnose Why Coding Standard Violations Do Not Appear as Expected。