Rileva l'uso di risultati temporanei nelle istruzioni con un tipo di dati inferiore alla dimensione del registro. Il cast implicito in questo caso può portare a risultati indesiderati.

Giustificazione: Per motivi di prestazioni, CODESYS esegue le operazioni sulla larghezza del registro del processore. I risultati intermedi non vengono troncati. Questo può portare a interpretazioni errate, come nel caso seguente: ‎usintTest := 0; xError := usintTest - 1 <> 255;‎. In CODESYS, ‎xError‎ è ‎TRUE‎ in questo caso perché l'operazione ‎usintTest - 1‎ viene tipicamente eseguita come un'operazione a 32 bit e il risultato non viene convertito in byte. Quindi il valore ‎16#ffffffff‎ (non uguale a 255) si trova nel registro di sistema. Per evitarlo, è necessario eseguire il cast del risultato intermedio in modo esplicito: ‎xError := TO_USINT(usintTest - 1) <> 255; ‎

AVVISO

Se questo messaggio è attivato, verranno segnalati molti punti meno problematici del codice. Sebbene il problema si verifichi solo quando l'operazione produce un overflow o un underflow nel tipo di dati, l'analisi statica non può distinguere tra le singole posizioni.

Se si include un typecast esplicito in tutte le posizioni segnalate, il codice sarà molto più lento e meno leggibile.

Importanza: Basso

PROGRAM PLC_PRG
VAR
	byTest:BYTE;
	liTest:LINT;
	xError:BOOL;
END_VAR

//type size smaller than register size;
byTest := 0;
IF (byTest - 1) <> 255 THEN //use of temporary result + implicit casting ->  SA0066
	xError := TRUE;
ELSE
	xError := FALSE;
END_IF

//type size equal to or bigger than register size; 
liTest := 0;
IF (liTest - 1)  <> -1 THEN // use of temporary result and no implicit casting -> OK
	xError := TRUE;
ELSE
	xError := FALSE;
END_IF

--> SA0066: Use of temporary result: (byTest - USINT #1)