Skip to main content

SA0055:无符号操作数的不必要比较

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

理由:使用此检查检测到的比较会产生恒定的结果,并且表明代码中存在错误。

重要性:高

65. 例子
PROGRAM PLC_PRG
VAR
    byTest: BYTE;
END_VAR
// SA0055
WHILE byTest >= 0 DO
    byTest := byTest - 1;
END_WHILE

输出在 留言 看法:

  • sa_icon_message.png SA0055:无符号操作数的不必要比较