dl-breadcrumbs__homedl-breadcrumb-item__separatorConfiguración y programacióndl-breadcrumb-item__separatorInterfaces y herramientas de ingenieríadl-breadcrumb-item__separatorCODESYS Análisis estáticodl-breadcrumb-item__separator...dl-breadcrumb-item__separatorReferencia, Programacióndl-breadcrumb-item__separatorReglasdl-breadcrumb-item__separatorNormas para los operadoresdl-breadcrumb-item__separatorSA0059: Operaciones de comparación que devuelven siempre TRUE o FALSE
dl-pagination__prev-inactivedl-pagination__prev-activedl-pagination__next-inactivedl-pagination__next-active
SA0059: Operaciones de comparación que devuelven siempre TRUE o FALSEdl-permalink__symbolPermalink

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'