SA0055 : Comparaisons inutiles d'opérandes non signés

Détecte les comparaisons inutiles avec des opérandes non signés. Un type de données non signé n'est jamais inférieur à zéro. Cela peut être utilisé comme vérification des signes.

Justification : Une comparaison détectée avec ce contrôle donne un résultat constant et indique une erreur dans le code.

Importance : Élevée

PROGRAM PLC_PRG
VAR
    byTest: BYTE;
END_VAR

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