主要内容

检查没有默认选择项的变体模块

检查 IDmathworks.misra.DefaultChoiceVariantChecks

识别当强制转换模式设置为符合标准时,具有启动变体激活时间但没有默认选择项的变体模块。

描述

遵循此检查的建议可提高为嵌入式应用生成符合 MISRA C:2012 标准的代码的可能性。

适用于 Embedded Coder®Simulink® Check™

结果和建议的操作

条件建议的操作

变体模块未包含默认选择项,但强制转换模式设置为符合标准

将一个默认选择项添加为变体模块的选择项之一。

功能和限制

  • 分析变体模块的内容。

编辑时检查

此检查支持编辑时检查。