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'