6-5-4: on variable or expression?

[Nadege]

Hello,

6-5-4 says "The loop-counter shall be modified by one of: --, ++, - = n, or + = n; where n remains constant for the duration of the loop"

Should this code below raise 6-5-4?

int main() {
int k = 8;

for (int j = 0; j < 10; j += k + 3) {
}
}

If 'n' concerns variable only, I would say 'Yes'.
If 'n' concerns expressions, I would say 'No'.

What do you think?
Thanks in advance for your help.

Nadège

[misra cpp]

We'd expect the example to be compliant.

In the examples for 6-5-4, the 4th shows 'n' as a non-const variable, and its labelled as 'Compliant if 'n' is not modified within the body of the loop'. So there is an expectation that an analyzer will accept a non-const variable as 'n', and will perform analysis to show that it is not modified. How far that analysis tracks say pointers to n or references to n passed to functions in the loop body is a matter of quality of implementation.