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