Controllo del comportamento
Modificare il comportamento predefinito dei controlli di runtime
Per modificare il comportamento predefinito di un checker di difetti, utilizzare le opzioni di controllo del comportamento. Ad esempio, per impostazione predefinita, l'analisi non tiene conto dei valori non finiti in virgola mobile. Se vengono visualizzati confronti con infiniti e NaN contrassegnati come codice morto, modificare l'ipotesi predefinita.
Opzioni Polyspace
Considerare i valori non finiti in virgola mobile (-allow-non-finite-floats) | Enable an analysis mode that incorporates infinities and NaNs |
