Анализатор обнаружил потенциально возможную ошибку в конструкции, состоящей из условных операторов.
Рассмотрим пример:
if (a == 1) Foo1(); else if (a == 2) Foo2(); else if (a == 1) Foo3();
В данном примере метод 'Foo3()' никогда не получит управления. Вероятно, мы имеем дело с логической ошибкой и корректный код должен выглядеть так:
if (a == 1) Foo1(); else if (a == 2) Foo2(); else if (a == 3) Foo3();
На практике подобная ошибка может выглядеть следующим более сложным образом.
Например, анализатором удалось найти следующую ошибочную конструкцию.
.... } else if (b.NodeType == ExpressionType.Or || b.NodeType == ExpressionType.OrEqual){ current.Condition = ConstraintType.Or; } else if(...) { .... } else if (b.NodeType == ExpressionType.OrEqual || b.NodeType == ExpressionType.Or){ current.Condition = ConstraintType.Or | ConstraintType.Equal; } else if(....
В данном примере, в вышестоящей инструкции if было проверено условие, что
b.NodeType == ExpressionType.Or || b.NodeType == ExpressionType.OrEqual.
А в нижестоящей инструкции if, условие было таким же по логике, но написано в обратном порядке, что является малозаметным с точки зрения человека, но приводит к ошибке выполнения кода.
b.NodeType == ExpressionType.OrEqual || b.NodeType == ExpressionType.Or
Данная диагностика классифицируется как:
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V3003. |