Exponenta Banner

MISRA C ++:2008 правил 0-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.

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

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

Смотрите также

Темы

Введенный в R2013b

Документация Polyspace Code Prover
Поддержка