# V3142\. Unreachable code detected\. It is possible that an error is present\.

Анализатор обнаружил код, который никогда не будет выполнен\. Возможно, допущена ошибка в логике программы\.

Данная диагностика находит блоки кода, до которых никогда не дойдёт управление\.

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

```cpp
static void Foo()
{
  Environment.Exit(255);
  Console.WriteLine("Hello World!");
}
```

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

```cpp
static void Foo()
{
  Console.WriteLine("Hello World!");
  Environment.Exit(255);
}
```

Рассмотрим ещё один пример:

```cpp
static void ThrowEx()
{
  throw new Exception("Programm Fail");
}
public void SetResponse(int response)
{
  ThrowEx();
  Debug.Assert(false); //should never reach here
}
```

В данном примере межпроцедурный анализ проверяет метод 'ThrowEx' и предупреждает, что код после вызова метода недостижим\. Если такое поведение ожидаемо \- вы можете отметить предупреждение как ложное\.

```cpp
public void SetResponse(int response)
{
  ThrowEx();
  Debug.Assert(false); //should never reach here //-V3142
}
```