SA0017: Assegnazione insolita alla variabile puntatore
Determina le assegnazioni ai puntatori che non hanno un indirizzo (operatore ADR o variabili puntatore) o costante 0 sono.
Giustificazione: Se ad un puntatore viene assegnato un valore che non รจ un indirizzo valido, la dereferenziazione del puntatore porta ad una "Eccezione di violazione di accesso".
Importanza: Alta
Esempio 30. Esempio
PROGRAM PLC_PRG
VAR
pInt : POINTER TO INT;
dwAddress : DWORD;
END_VAR
dwAddress := dwAddress + DWORD#1; pInt := dwAddress; // SA0017
Uscita in Messaggi vista:
SA0017: Assegnazione insolita alla variabile puntatore