SA0055:无符号操作数的不必要比较
检测与无符号操作数的不必要比较。无符号数据类型永远不会小于零。这可以用作符号检查。
理由:使用此检查检测到的比较会产生恒定的结果,并且表明代码中存在错误。
重要性:高
例 65. 例子
PROGRAM PLC_PRG VAR byTest: BYTE; END_VAR
// SA0055 WHILE byTest >= 0 DO byTest := byTest - 1; END_WHILE
输出在 留言 看法:
SA0055:无符号操作数的不必要比较
检测与无符号操作数的不必要比较。无符号数据类型永远不会小于零。这可以用作符号检查。
理由:使用此检查检测到的比较会产生恒定的结果,并且表明代码中存在错误。
重要性:高
PROGRAM PLC_PRG VAR byTest: BYTE; END_VAR
// SA0055 WHILE byTest >= 0 DO byTest := byTest - 1; END_WHILE
输出在 留言 看法:
SA0055:无符号操作数的不必要比较