Detecta comparaciones con literales que siempre tienen como resultado TRUE o FALSE, y que ya pueden ser procesadas durante la compilación.
Justificación: Una operación que arroje sistemáticamente TRUE o FALSE indica un error de programación.
Importancia: Alta
Ejemplo
PROGRAM PLC_PRG
VAR
byTemp1 : BYTE;
END_VAR
WHILE byTemp1 <= 255 DO
byTemp1 := byTemp1 + 1;
END_WHILE;
--> SA0059: Relational operator '<=' always evaluates 'TRUE'