Rule 14.2 What is meant by assign"

[misra-c]

The first clause may assign a value to the loop counter via a function call which includes persistent side-effects.

The above example is compliant with this rule.