SA0055：对无符号操作数进行不必要的比较

检测不必要的无符号操作数比较。无符号数据类型永远不会小于零。这可以用作签名检查。

理由通过这种检查检测到的比较结果是常数，表明代码中存在错误。

重要性：高

示例

PROGRAM PLC_PRG
VAR
 byTest: BYTE; 
END_VAR

WHILE byTest >= 0 DO
	byTest := byTest - 1;
END_WHILE;

--> SA0055: Unnecessary comparisons of unsigned operands

另见

⮫ “配置和运行静态分析”