检测与字面量的比较，这些比较的结果总是TRUE 或FALSE ，并且在编译时已经可以处理。
理由如果操作结果始终为TRUE 或FALSE ，则表明程序出错。
重要性：高
示例
PROGRAM PLC_PRG
VAR
byTemp1 : BYTE;
END_VAR
WHILE byTemp1 <= 255 DO
byTemp1 := byTemp1 + 1;
END_WHILE;
--> SA0059: Relational operator '<=' always evaluates 'TRUE'