Klocwork NUM.OVERFLOW.DF告警排查：减法代码是否存在Bug？

你的代码逻辑本身没有实际运行的Bug，这个警告属于静态代码分析工具的误报，具体解析如下：

警告产生的原因 #

NUM.OVERFLOW.DF是静态分析工具（比如Coverity这类）针对无符号整数减法的检测规则：无符号整数不存在负数，当被减数小于减数时，减法结果会按2^16（因为是uint16类型）取模得到一个超大正数，工具会判定这是溢出风险。

但你的代码已经通过if (Coord1 > Coord2)的分支判断，确保了每一次减法操作都是被减数≥减数，实际执行时根本不会出现被减数小于减数的情况，也就不会真的发生溢出。只是工具没识别到你这个分支的保护逻辑，所以抛出了警告。

代码正确性验证 #

• 当Coord1 > Coord2时，Coord1 - Coord2的结果是正整数，最大差值为65535 - 0 = 65535，刚好在uint16的取值范围内。
• 当Coord1 ≤ Coord2时，Coord2 - Coord1同样是非负整数，也不会超出uint16的范围。
• 后续判断Delta >= Threshold的逻辑完全符合预期，返回结果正确。

解决警告的可选方案 #

• 忽略误报：确认代码逻辑没问题后，可以直接在分析工具中标记该警告为误报，或者跳过它。
• 添加工具注释：针对特定分析工具添加忽略注释，比如Coverity可以这么写：

  if (Coord1 > Coord2)
  {
      // coverity[ignore_num_overflow]
      Delta = Coord1 - Coord2;
  }
  else
  {
      // coverity[ignore_num_overflow]
      Delta = Coord2 - Coord1;
  }
  

• 修改写法规避检测：通过类型转换使用绝对值函数（注意仅当差值不超过int16范围时适用）：

  Delta = (uint16)abs((int16)(Coord1 - Coord2));
  

内容的提问来源于stack exchange，提问作者Sam