CWARN.NOEFFECT.UCMP.GE.MACRO

宏中无符号值的无效比较始终为 true

CWARN.NOEFFECT.UCMP.GE.MACRO 检查器可标记宏中的代码,其中,无符号值与 0 的比较始终为 true。

漏洞与风险

如果 a 为无符号值,a >= 0 和 0 <= a 的比较始终为 true。这些比较没有任何效果,因此可能无法达到设计意图。

漏洞代码示例

复制
  #define POSITIVE_LOOP(x) while (x >= 0) x--;
  
  int foo(unsigned int a) {
    POSITIVE_LOOP(a);  
    return 0;
  }

Klocwork 标记了第 4 行,其中的宏 POSITIVE_LOOP 包含一个始终为 true 的条件。