이 페이지의 내용은 이전 릴리스에 관한 것입니다. 해당 영문 페이지는 최신 릴리스에서 제거되었습니다.

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 옵션

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