Анализатор нашёл потенциальную ошибку в теле функции. Один из его параметров перезаписывается перед тем, как используется. Таким образом, значение, пришедшее в функцию, попросту теряется.
Рассмотрим пример кода:
void Foo(Node A, Node B) { A = SkipParenthesize(A); B = SkipParenthesize(A); // <= AnalyzeNode(A); AnalyzeNode(B); }
Здесь допущена опечатка, так как перепутаны параметры 'A' и 'B', из-за чего переменная 'B' примет неверное значение. Исправленный код выглядит так:
void Foo(Node A, Node B) { A = SkipParenthesize(A); B = SkipParenthesize(B); AnalyzeNode(A); AnalyzeNode(B); }
Данная диагностика классифицируется как:
|
Взгляните на примеры ошибок, обнаруженных с помощью диагностики V763. |