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

检查 ID：mathworks.misra.CompareFloatEquality

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

该检查标志会检测导致对浮点值进行相等或不等运算的源。

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

如果使用 Polyspace^® 注释对浮点值进行相等或不等运算，则检查不会标记这些块。运行检查时，带申述的模块表会列出具有申述的相等或不等操作的块。

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

注意

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

条件	建议的操作
模型对象对浮点值执行相等或不等运算。	考虑使用非浮点数值进行相等或不等式运算。

您可以：