exponenta event banner

Правило AUTOSAR C++ 14 A6-5-4

Оператор for-init и выражение не должны выполнять действия, отличные от инициализации и изменения счетчика циклов

Описание

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

Оператор for-init и выражение не должны выполнять действия, отличные от инициализации и изменения счетчика циклов.

Внедрение Polyspace

  • Отчеты, если loop параметр не может быть определен. Предполагает, что правило 200 JSF ® C++ не нарушено. loop variable параметр считается переменной.

  • Предполагает параметр цикла 1 (см. Правило 198 JSF C++) с типом, отличным от типа класса. Правило 200 JSF C++ не должно нарушаться для сообщения этого правила.

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

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

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

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