SA0145: Possibile utilizzo di riferimento non inizializzato

Rileva eventuali variabili di riferimento che potrebbero non essere inizializzate prima dell'uso e non sono verificate dall'operatore __ISVALIDREF. Questa regola viene applicata nella parte di implementazione delle POU. Per la dichiarazione c'è la regola SA0124.

Motivazione: Prima dell'accesso è necessario verificare la validità di un riferimento poiché durante l'accesso potrebbe verificarsi una violazione dell'accesso.

Importanza: Alta

PROGRAM PLC_PRG
VAR_INPUT
    ref_iTest : REFERENCE TO INT;
END_VAR

ref_iTest := 99;                        // SA0145
IF __ISVALIDREF(ref_iTest) THEN
    ref_iTest := 88;
END_IF