Анализатор обнаружил использование ненулевой константы в битовой операции ИЛИ ( | ). Результатом такого выражения всегда будет ненулевое значение. Это может привести к неправильной логике работы программы, если данное выражение будет использоваться в условиях или циклах.
Рассмотрим простейший пример:
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); }
Данная диагностика классифицируется как:
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V617. |