SA0055: Unnötige Vergleichsoperationen von vorzeichenlosen Operanden

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

PROGRAM PLC_PRG
VAR
    byTest: BYTE;
END_VAR

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