Detecta comparaciones innecesarias con operandos sin signo. Un tipo de datos sin signo nunca es menor que cero. Se puede utilizar como control de firmas.

Justificación: Una comparación detectada con esta comprobación arroja un resultado constante y es una indicación de error en el código.

Importancia: Alta

PROGRAM PLC_PRG
VAR
 byTest: BYTE; 
END_VAR

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

--> SA0055: Unnecessary comparisons of unsigned operands