Rule M6-5-6 (required, implementation, automated)

A loop-control-variable other than the loop-counter which is modified in statement shall have type bool. See MISRA C++ 2008 [7]