-detect-bad-float-op-on-zero
检测浮点数比较运算符（等于运算符）中当其中一个操作数为 0.0 时的情况。
语法
-detect-bad-float-op-on-zero
描述
-detect-bad-float-op-on-zero 修改了 Polyspace® Bug Finder™ 检查项的行为，即使一个操作数为 0.0，也会报告使用相等 (==) 或不相等 (!=) 运算符的相等性比较。
示例
请参考以下代码：
extern float foo(void);
float x;
x = foo();
if (x==0.0f) {
//...
}(x==0.0f) 上的缺陷或违规。如果指定此选项，则在比较运算中报告以下违规和缺陷：
如果您正在使用用户界面运行分析，则可以在配置窗格的高级设置节点下的其他字段中输入此选项。请参阅其他。要在命令行中指定此选项，请将该选项附加到通常的 Bug Finder 命令后：
polyspace-bug-finder -sources filename ^ -checkers BAD_FLOAT_OP -detect-bad-float-op-on-zero
