SA0055:符号なしオペランドの不要な比較演算
符号なしオペランドとの不要な比較を検出します。符号なしデータ型がゼロ未満になることはありません。これは、サインチェックとして使用できます。
理由:このチェックで検出された比較は一定の結果を返し、これはコードのエラーを示します。
重要性:高い
例 65. 例
PROGRAM PLC_PRG
VAR
byTest: BYTE;
END_VAR
// SA0055
WHILE byTest >= 0 DO
byTest := byTest - 1;
END_WHILEでの出力 メッセージ ビュー:
SA0055: 符号なしオペランドの不必要な比較