チェック動作
実行時チェック既定の動作の変更
欠陥チェッカーの既定の動作を変更するには、動作のチェックのオプションを使用します。たとえば、既定では、解析時に非有限の浮動小数点は考慮されません。デッド コードのフラグが設定されている無限大や NaN との比較を確認する場合、既定の仮定を変更します。
Polyspace オプション
非有限の浮動小数点を検討 (-allow-non-finite-floats) | 無限大と NaN を組み込んだ解析モードの有効化 |
欠陥チェッカーの既定の動作を変更するには、動作のチェックのオプションを使用します。たとえば、既定では、解析時に非有限の浮動小数点は考慮されません。デッド コードのフラグが設定されている無限大や NaN との比較を確認する場合、既定の仮定を変更します。
非有限の浮動小数点を検討 (-allow-non-finite-floats) | 無限大と NaN を組み込んだ解析モードの有効化 |
