Rileva i confronti non necessari con operandi senza segno. Un tipo di dati senza segno non è mai inferiore a zero. Questo può essere utilizzato come segno di controllo.

Giustificazione: Un confronto rilevato con questo controllo produce un risultato costante e indica un errore nel codice.

Importanza: Alto

PROGRAM PLC_PRG
VAR
 byTest: BYTE; 
END_VAR

WHILE byTest >= 0 DO
	byTest := byTest - 1;
END_WHILE;

--> SA0055: Unnecessary comparisons of unsigned operands