> If the variable mentioned in the condition is not the variable which> changes and decides when the loop ends, the checker would give a false> positive.
Can you give an example - I don't understand how that would work (I thought
that the condition decided when the loop ended).