# V695\. Range intersections are possible within conditional expressions\.

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

Для этого в коде используется следующая конструкция:

```cpp
if ( MIN_A < X && X < MAX_A ) {
  ....
} else if ( MIN_B < X && X < MAX_B ) {
  ....
}
```

Анализатор выдаёт предупреждение, если диапазоны, проверяемые в условиях, пересекаются\. Пример:

```cpp
if ( 0 <= X && X < 10)
  FooA();
else if ( 10 <= X && X < 20)
  FooB();
else if ( 20 <= X && X < 300)
  FooC();
else if ( 30 <= X && X < 40)
  FooD();
```

Код содержит опечатку\. Рука программиста дрогнула, и вместо условия "20 <\= X && X < 30" была написано "20 <\= X && X < 300"\. Если переменная X будет хранить, например, значение 35, то будет вызвана функция FooC\(\), а не FooD\(\)\.

Исправленный код:

```cpp
if ( 0 <= X && X < 10)
  FooA();
else if ( 10 <= X && X < 20)
  FooB();
else if ( 20 <= X && X < 30)
  FooC();
else if ( 30 <= X && X < 40)
  FooD();
```



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

```cpp
const int nv_ab = 5;
const int nv_bc = 10;
const int nv_re = 15;
const int nv_we = 20;
const int nv_tw = 25;
const int nv_ww = 30;
....
if (n < nv_ab) { AB(); }
else if (n < nv_bc) { BC(); }
else if (n < nv_re) { RE(); }
else if (n < nv_tw) { TW(); }   // <=
else if (n < nv_we) { WE(); }   // <=
else if (n < nv_ww) { WW(); }
```

В зависимости от значения переменной 'n' выполняются различные действия\. Из\-за неудачных названий переменных, легко запутаться\. Так и получилось\. В начале надо было сравнить переменную 'n' с 'nv\_we', а только затем с 'nv\_tw'\.

Чтобы ошибка стала понятна, подставим значения констант:

```cpp
if (n < 5) { AB(); }
else if (n < 10) { BC(); }
else if (n < 15) { RE(); }
else if (n < 25) { TW(); }
else if (n < 20) { WE(); } // Условие никогда не выполняется
else if (n < 30) { WW(); }
```

Исправленный код:

```cpp
if (n < nv_ab) { AB(); }
else if (n < nv_bc) { BC(); }
else if (n < nv_re) { RE(); }
else if (n < nv_we) { WE(); }    // <=
else if (n < nv_tw) { TW(); }    // <=
else if (n < nv_ww) { WW(); }
```