MISRA C++:2008 Rule 6-5-3
The loop-counter shall not be modified within condition or statement
Description
Rule Definition
The loop-counter shall not be modified within condition or statement.1
Rationale
The for loop has a specific syntax for modifying the loop counter. A
code reviewer expects modification using that syntax. Modifying the loop counter elsewhere
can make the code harder to review.
Polyspace Implementation
The checker flags modification of a
for loop counter in the loop body or the loop condition (the
condition that is checked to see if the loop must be terminated).
Troubleshooting
If you expect a rule violation but Polyspace® does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.
Check Information
| Group: Statements |
| Category: Required |
Version History
Introduced in R2013b
1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.
The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:
MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.
