SA0145: Posible uso de referencia no inicializada

Detecta cualquier variable de referencia que no se pueda inicializar antes del uso y que el operador no verifique __ISVALIDREF. Esta regla se aplica en la parte de implementación de las POU. Para la declaración, hay regla SA0124.

Justificación: Se debe comprobar la validez de una referencia antes del acceso, ya que durante el acceso puede producirse una infracción de acceso.

Importancia: 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