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

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

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

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

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

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

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

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

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

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

Данная диагностика классифицируется как:

CWE-480

Взгляните на примеры ошибок, обнаруженных с помощью диагностики V617.