检查没有默认情况的 switch case 表达式

检查 ID：mathworks.misra.SwitchDefault

找出没有默认情况的 switch case 表达式。

检查标志模型对象具有没有默认情况的 switch case 表达式。

遵循此检查的建议，可以提高为嵌入式应用程序生成符合 MISRA C:2012 和 MISRA C:2023 标准的代码以及符合 CERT C、CWE、ISO/IEC TS 17961 标准的代码的可能性。

如果模块没有默认情况，但有 Polyspace^® 注解证明其合理性，则检查不会标记这些模块。运行检查时，带申述的模块表列出了没有默认情况但申述的块。

适用于 Embedded Coder^® 和 Simulink^® Check™。

条件	建议的操作
模型对象具有一个没有默认情况的 switch case 表达式。	对于 Switch Case 块，请考虑选择模块参数显示默认 case 来明确指定默认值。

您可以：

此检查支持编辑时检查。