Prüfen des Verhaltens
Ändern des Standardverhaltens von Laufzeitprüfungen
Das Standardverhalten eines Defekt-Checkers können Sie anhand der Optionen für das Prüfverhalten ändern. Zum Beispiel berücksichtigt die Analyse standardmäßig keine nicht-endlichen Gleitkommazahlen. Ändern Sie die Standardannahme, wenn Sie feststellen, dass Vergleiche mit Unendlichkeiten und NaN als toter Code gekennzeichnet werden.
Polyspace-Optionen
Nicht-endliche Gleitkommazahlen berücksichtigen (-allow-non-finite-floats) | Enable an analysis mode that incorporates infinities and NaNs |
