MISRA C++:2008 Rule 6-5-4

Because the first for loop uses the loop-counter modifier of +=x and modifies the variable x within the for loop, Polyspace flags the for loop as noncompliant.

The second for loop shows a compliant case of using a loop-counter modifier of +=y, where y is not modified within the loop.

The third for loop modifies the loop counter by using the return value of a function, ex2(). Because the function returns a different value in each iteration, the loop-counter modifier is not constant. Polyspace flags the for loop as noncompliant.

#include <cstdint>

int i, x = 0;
int y, z = 1;

int ex2()
{
    return z;
}

void example()
{
    for (i = 0; i <= 10; i += x) {          //Noncompliant
        x += 1;
    }

    for (i = 0; i <= 10; i += y) {          //Compliant
        z += i;
    }

    for (i = 0; i >= 10; i -= ex2()) {      //Noncompliant
        z += i;
    }

}