SA0055: Comparaciones innecesarias de operandos sin signo

Detecta comparaciones innecesarias con operandos sin signo. Un tipo de datos sin firmar nunca es menor que cero. Esto se puede utilizar como una verificación de signos.

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

Importancia: Alta

PROGRAM PLC_PRG
VAR
    byTest: BYTE;
END_VAR

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