Check Behavior

Modify default behavior of run-time checks

To modify the default behavior of a defect checker, use the check behavior options. For instance, by default, the analysis does not take into account non finite floats. If you see comparisons with infinities and NaN-s being flagged as dead code, change the default assumption.

Polyspace Options

Consider non finite floats (-allow-non-finite-floats) Enable an analysis mode that incorporates infinities and NaNs