# V2535\. MISRA\. Unreachable code should not be present in the project\.

Данное диагностическое правило основано на руководстве [MISRA](https://www.misra.org.uk/) \(Motor Industry Software Reliability Association\) по разработке программного обеспечения\.

Присутствие недостижимого кода может являться признаком ошибки программиста и усложняет поддержку кода\.

Компилятор в целях оптимизации вправе удалить недостижимый код\. Недостижимый код, неудаленный компилятором, может расходовать ресурсы\. Например, он может увеличивать размер бинарного файла или являться причиной излишнего кэширования инструкций\.

Рассмотрим первый пример:

```cpp
void Error()
{
  ....
  exit(1);
}

FILE* OpenFile(const char *filename)
{
  FILE *f = fopen(filename, "w");
  if (f == nullptr)
  {
    Error();
    printf("No such file: %s", filename);
  }
  return f;
}
```

Функция 'printf\(\.\.\.\.\)' никогда не напечатает сообщение об ошибке, так как функция 'Error\(\)' не возвращает управление\. Как правильно исправить код зависит от того, какую логику поведения задумывал программист изначально\. Возможно, функция должна возвращать управление\. Возможно, нарушен порядок выражений и корректный код должен быть таким:

```cpp
FILE* OpenFile(const char *filename)
{
  FILE *f = fopen(filename, "w");
  if (f == nullptr)
  {
    printf("No such file: %s", filename);
    Error();
  }
  return f;
}
```

Рассмотрим второй пример:

```cpp
char ch = strText[i];
switch (ch)
{
case '<':
  ...
  break;
case '>':
  ...
  break;
case 0xB7:
case 0xBB:
  ...
  break;
...
}
```

Здесь ветка расположенная после "case 0xB7:" и "case 0xBB:" никогда не получит управление\. Переменная 'ch' имеет тип 'char', а, следовательно, диапазон её значений лежит в пределах \[\-128\.\.127\]\. Результатом сравнения "ch \=\= 0xB7" и "ch\=\=0xBB" всегда будет ложь \(false\)\. Чтобы код был корректен, переменная 'ch' должна иметь тип 'unsigned char'\. Исправленный код:

```cpp
unsigned char ch = strText[i];
switch (ch)
{
case '<':
  ...
  break;
case '>':
  ...
  break;
case 0xB7:
case 0xBB:
  ...
  break;
...
}
```

Рассмотрим третий пример:

```cpp
if (n < 5) { AB(); }
else if (n < 10) { BC(); }
else if (n < 15) { CD(); }
else if (n < 25) { DE(); }
else if (n < 20) { EF(); } // Это ветвь никогда не выполнится.
else if (n < 30) { FG(); }
```

Из\-за некорректного пересечения диапазонов, находящихся в условиях, одна из ветвей никогда не будет выполнена\. Исправленный код:

```cpp
if (n < 5) { AB(); }
else if (n < 10) { BC(); }
else if (n < 15) { CD(); } 
else if (n < 20) { EF(); } 
else if (n < 25) { DE(); } 
else if (n < 30) { FG(); }
```