﻿# V3003\. The use of 'if \(A\) \{\.\.\.\} else if \(A\) \{\.\.\.\}' pattern was detected\. There is a probability of logical error presence\.

Анализатор обнаружил потенциально возможную ошибку в конструкции, состоящей из условных операторов\.

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

```cpp
if (a == 1)
  Foo1();
else if (a == 2)
  Foo2();
else if (a == 1)
  Foo3();
```

В данном примере метод 'Foo3\(\)' никогда не получит управления\. Вероятно, мы имеем дело с логической ошибкой и корректный код должен выглядеть так:

```cpp
if (a == 1)
  Foo1();
else if (a == 2)
  Foo2();
else if (a == 3)
  Foo3();
```

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

Например, анализатором удалось найти следующую ошибочную конструкцию\. 

```cpp
....
} else if (b.NodeType == ExpressionType.Or || 
           b.NodeType == ExpressionType.OrEqual){
                   current.Condition = ConstraintType.Or;
} else if(...) { 
.... 
} else if (b.NodeType == ExpressionType.OrEqual ||
           b.NodeType == ExpressionType.Or){
                   current.Condition = ConstraintType.Or | 
                   ConstraintType.Equal;
} else if(....
```

В данном примере, в вышестоящей инструкции if было проверено условие, что 

```cpp
b.NodeType == ExpressionType.Or || 
b.NodeType == ExpressionType.OrEqual.
```

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

```cpp
b.NodeType == ExpressionType.OrEqual ||  
b.NodeType == ExpressionType.Or
```