MISRA C ++:2008 правил 6-5-3

Счетчик цикла не должен быть изменен в условии или операторе

Описание

Управляйте определением

Счетчик цикла не должен быть изменен в условии или операторе.

Объяснение

Цикл for имеет определенный синтаксис для изменения счетчика цикла. Рецензент кода ожидает модификацию с помощью того синтаксиса. Изменение счетчика цикла в другом месте может сделать код тяжелее, чтобы рассмотреть.

Реализация Polyspace

Средство проверки отмечает модификацию счетчика цикла for в теле цикла или условии цикла (условие, которое проверяется, чтобы видеть, должен ли цикл быть отключен).

Обменивайтесь сообщениями в отчете

Счетчик цикла не должен быть изменен в условии или операторе.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Проверяйте информацию

Группа: операторы
Категория: необходимый

Введенный в R2013b