Ineffective comparison of unsigned value is always true

The CWARN.NOEFFECT.UCMP.GE checker flags code outside of macros, in which there is a comparison of an unsigned value to zero that is always true.

Vulnerability and risk

If 'a' is an unsigned value, the comparisons a >= 0 and 0 <= a are always true. These comparisons have no effect, so it's probable that design intent isn't being accomplished.

Vulnerable code example

  int foo(unsigned int a) {
    while (0 <= a)  
    return 0;

Klocwork flags line 2, in which the comparison 0 <= a is always true.