检查浮点值的相等和不相等运算

R2026b

检查 ID：mathworks.misra.CompareFloatEquality

标识浮点值的相等和不相等运算。

描述

此检查会标记引起浮点值的相等或不相等运算的来源。

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

如果浮点值的相等或不相等运算用 Polyspace® 注解进行了申述，则此检查不会标记相关模块。当您运行检查时，带申述的模块表会列出包含相等或不相等运算且带申述的模块。

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

注意

如果模型包含 Stateflow 元素，则需要 Stateflow® 许可证。

结果和建议的操作

条件建议的操作

模型对象对浮点值进行了相等或不相等运算。

考虑使用非浮点值进行相等或不相等运算。

功能和限制

您可以：

  • 将模块和图从此检查中排除（如果您拥有 Simulink Check 许可证）。

另请参阅