Ermittelt unnötige Vergleiche mit vorzeichenlosen Operanden. Ein vorzeichenloser Datentyp ist nie kleiner Null. Dies kann als Vorzeichenprüfung verwendet werden.
Begründung: Ein mit dieser Prüfung aufgedeckter Vergleich liefert ein konstantes Ergebnis und das deutet auf einen Fehler im Code hin.
Wichtigkeit: Hoch
Beispiel
PROGRAM PLC_PRG VAR byTest: BYTE; END_VAR WHILE byTest >= 0 DO byTest := byTest - 1; END_WHILE; --> SA0055: Unnötige Vergleichsoperationen von vorzeichenlosen Operanden