SA0059:常にTRUEまたはFALSEを返す比較操作
結果が常に次になるリテラルとの比較を検出します。 TRUE または FALSE、コンパイル時にすでに処理できます。
理論的根拠:一定の演算 TRUE また FALSE 戻り値はプログラミングエラーを示します。
重要性:高い
例 70. 例
PROGRAM PLC_PRG
VAR
byTemp1 : BYTE;
END_VAR
WHILE byTemp1 <= 255 DO
byTemp1 := byTemp1 + 1;
END_WHILEでの出力 メッセージ ビュー:
SA0059: 関係演算子「<=」は常に「TRUE」と評価されます