Skip to main content

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:

  • sa_icon_message.png SA0017: Assegnazione insolita alla variabile puntatore