False Positive: continue in do while loop

[Yannick HOUDOT]

file test.c :

---

void main ()
{
int i;
do {
i = random();

    if( i == 0 )
        continue;

} while(i);

}

---

$ /opt/cppcheck-2.10/cppcheck --enable=all test.c
Checking test.c ...
test.c:10:13: style: Condition 'i' is always true [knownConditionTrueFalse]
} while(i);
^

Is it a known issue ?

[CHR]

Thanks for reporting, it's probably an instance of https://trac.cppcheck.net/ticket/11096

[Yannick HOUDOT]

ok, looks like it.
but the example you just add to the trac ticket reports no false positive, but indeed a real [knownConditionTrueFalse]...

[CHR]

Thanks, fixed.