Шлейф для должен содержать один шлейф-счетчик, который не должен иметь плавающего типа
Контур для шлейфа должен содержать один счетчик шлейфа, который не должен иметь плавающего типа.
Средство проверки помечает следующие ситуации:
for индекс цикла имеет тип с плавающей запятой.
Более одного счетчика цикла увеличивается в for оператор приращения цикла.
Например:
for(i=0, j=0; i<10 && j < 10;i++, j++) {}Счетчик цикла не увеличивается в for оператор приращения цикла.
Например:
for(i=0; i<10;) {}Даже если увеличить счетчик цикла в теле цикла, средство проверки все равно поднимет нарушение. Согласно спецификациям MISRA ® C++, счетчик цикла - это счетчик, инициализированный в выражении цикла или до него, действующий как операнд для реляционного оператора в выражении цикла и модифицированный в выражении цикла. Если инструкция increment в выражении цикла отсутствует, средство проверки не может найти изменение счетчика цикла и считает, что счетчик цикла отсутствует.
Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.
| Группа: выписки |
| Категория: Обязательно |