Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.

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