exponenta event banner

Правило AUTOSAR C++ 14 M6-5-3

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

Описание

Определение правила

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

Объяснение

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

Внедрение Polyspace

Изменение флагов средства проверки for счетчик петель в теле петли или состояние петли (условие, которое проверяется на предмет необходимости завершения петли).

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

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

Группа: выписки
Категория: Обязательно, Автоматизировано
Представлен в R2019a