06-10-2026, 10:42 AM
We didn't answer your first question: "Do you consider that the last increment of "j" violates Rule 0.1.1?"
The last increment to 'j' does not violate the rule. (Except when n==0) the statement performing the write has one other occurance in the loop which is read, and then observed before being overwritten.
The last increment to 'j' does not violate the rule. (Except when n==0) the statement performing the write has one other occurance in the loop which is read, and then observed before being overwritten.
Posted by and on behalf of
the MISRA C++ Working Group
the MISRA C++ Working Group