# V617\. Argument of the '\|' bitwise operation always contains non\-zero value\. Consider inspecting the condition\.

Анализатор обнаружил использование ненулевой константы в битовой операции ИЛИ \( \| \)\. Результатом такого выражения всегда будет ненулевое значение\. Это может привести к неправильной логике работы программы, если данное выражение будет использоваться в условиях или циклах\.

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

```cpp
enum { FirstValue, SecondValue }; 
int Flags = GetFlags();
if (Flags | SecondValue)
{...}
```

Выражение в условии оператора 'if' всегда истинно\. Как правило, ошибки использования ненулевых констант в битовых операциях, возникают из\-за опечаток\.  Например, может оказаться, что в этом месте следовало использовать другую битовую операцию, например И \( & \)\. Корректный вариант кода:

```cpp
enum { FirstValue, SecondValue };
int Flags = GetFlags();
if (Flags & SecondValue)
{...}
```

Рассмотрим пример кода, найденный анализатором в реальном приложении:

```cpp
#define PSP_HIDEHEADER 0x00000800
BOOL CResizablePageEx::NeedsRefresh(....)
{
  if (m_psp.dwFlags | PSP_HIDEHEADER)
   return TRUE;
  ... 
  return
    CResizableLayout::NeedsRefresh(layout, rectOld, rectNew);
}
```

Очевидно, что оператор 'if' будет всегда выполнять ветку 'return TRUE;', что не корректно\. Исправленный вариант кода:

```cpp
#define PSP_HIDEHEADER 0x00000800
BOOL CResizablePageEx::NeedsRefresh(....)
{
  if (m_psp.dwFlags & PSP_HIDEHEADER)
    return TRUE;
  ... 
  return
    CResizableLayout::NeedsRefresh(layout, rectOld, rectNew);
}
```