SA0055: Operazioni di confronto non necessarie di operandi senza segno

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

Motivo: un confronto scoperto con questo controllo restituisce un risultato costante e questo indica un errore nel codice.

Importanza: Alta

PROGRAM PLC_PRG
VAR
    byTest: BYTE;
END_VAR

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