Анализатор обнаружил возможную логическую ошибку, связанную с тем, что два условных оператора, идущих последовательно, содержат взаимоисключающие условия.
Примеры таких условий:
Такая ошибка может возникнуть в результате опечатки или неудачного рефакторинга.
Пример некорректного кода:
if (x == y) if (y != x) DoSomething(x, y);
В данном случае метод 'DoSomething' никогда не будет вызван, так как при истинности первого условия второе всегда будет ложным. Возможно, в сравнении используется некорректная переменная. Например, во втором условии следовало использовать не 'x', а 'z':
if (x == y) if (y != z) DoSomething(x, y);
Данная диагностика классифицируется как:
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V3011. |