V2007. This expression can be simplified. One of the operands in the operation equals NN. Probably it is a mistake.


Данное диагностическое предупреждение добавлено по просьбе пользователей.

Анализатор позволяет обнаружить ряд подозрительных бинарных операций:

  • операции '^', '+', '-', '<<', '>>', где один из операндов равен 0;
  • операция '&' , где один из операндов равен -1;
  • операции '*', '/', '%' , где один из операндов равен 1;

Диагностическое правило V2007 помогает выполнить рефакторинг кода и иногда выявить ошибки.

Примеры конструкций, на которые анализатор выдаст данное диагностическое сообщение:

int X = 1 ^ 0;
int Y = 2 / X;

Приведённый код можно упростить. Пример корректного кода:

int X = 1;
int Y = 2;

Для сокращения количество ложных сообщений, есть несколько исключений. Например, диагностическое сообщение V2007 не выдается в случае, если подозрительное выражение находится в макросе или является индексом массива.

Согласно Common Weakness Enumeration, потенциальные ошибки, найденные с помощью этой диагностики, классифицируются как CWE-480.


Найденные ошибки

Проверено проектов
361
Собрано ошибок
13 417

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;