Exponenta Banner
exponenta event banner

Правило AUTOSAR C++ 14 M0-1-1

Проект не должен содержать недостижимый код

развернуть все на странице

Описание

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

Проект не должен содержать недостижимого кода.

Объяснение

Это правило помечает ситуации, когда группа операторов недоступна по синтаксическим причинам. Например, код, следующий за return операторы всегда недоступны.

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

Внедрение Polyspace

Средство поиска ошибок и средство проверки кода проверяют это правило кодирования по-разному. Анализ может дать различные результаты.

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

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

Примеры

развернуть все

int func(int arg) {
 int temp = 0;
 switch(arg) {
     temp = arg; // Noncompliant
     case 1:
     {
         break;
     }
     default:
     {
         break;
     }
 }
 return arg;
 arg++; // Noncompliant
}

Эти утверждения недоступны:

  • Утверждения внутри switch оператор, не принадлежащий case или default блок.

  • Заявления после return заявление.

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

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

См. также

Темы

Представлен в R2019a

Документация для поиска ошибок Polyspace

Поддержка