检查行为
修改运行时检查的默认行为
要修改缺陷检查项的默认行为，请使用检查行为选项。例如，默认情况下，分析不考虑非有限浮点数。如果您看到与无穷大和 NaN 的比较被标记为死代码，请更改默认假设。
Polyspace 选项
考虑非有限浮点数 (-allow-non-finite-floats) | Enable an analysis mode that incorporates infinities and NaNs |
要修改缺陷检查项的默认行为，请使用检查行为选项。例如，默认情况下，分析不考虑非有限浮点数。如果您看到与无穷大和 NaN 的比较被标记为死代码，请更改默认假设。
考虑非有限浮点数 (-allow-non-finite-floats) | Enable an analysis mode that incorporates infinities and NaNs |
