Rileva le variabili a cui non si accede con i permessi di scrittura e che quindi potrebbero essere dichiarate come costanti.

Giustificazione: Se una variabile viene scritta solo nel punto di dichiarazione e per il resto viene utilizzata solo in lettura, l'analisi statica presuppone che la variabile non debba essere modificata. In primo luogo, una dichiarazione come costante comporta il controllo che la variabile non venga modificata quando il programma viene cambiato. In secondo luogo, la dichiarazione come costante può rendere il codice più veloce.

AVVISO

Se in un progetto esistono più applicazioni, sono interessati solo gli oggetti al di sotto dell'applicazione attualmente attiva. Se esiste una sola applicazione, sono interessati anche gli oggetti del pool POU comune.

Importanza: Basso

PROGRAM PLC_PRG
VAR
	iVar : INT := INT#17;
	iTest : INT; 
END_VAR
iTest := iTest + iVar;   // SA0012: iVar could be declared as constant

--> SA0012: Variable 'iVar' could be declared as constant