Ermittelt Vergleiche mit Literalen, die immer das Ergebnis TRUE oder FALSE haben und die bereits während der Kompilierung ausgewertet werden können.
Begründung: Eine Operation, die konstant TRUE oder FALSE liefert, ist ein Hinweis auf einen Programmierfehler.
Wichtigkeit: Hoch
Beispiel
PROGRAM PLC_PRG
VAR
byTemp1 : BYTE;
END_VAR
WHILE byTemp1 <= 255 DO
byTemp1 := byTemp1 + 1;
END_WHILE;
--> SA0059: Vergleichsoperator '<=' errechnet immer 'TRUE'