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