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」と評価されます