Skip to content

Commit

Permalink
[analyzer] Fix a bad bug in reversePropagateInterstingSymbols() where…
Browse files Browse the repository at this point in the history
… only one subexpression of BinaryOperator would be explored.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@204374 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
tkremenek committed Mar 20, 2014
1 parent 789603c commit 08abb12
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/StaticAnalyzer/Core/BugReporter.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1263,8 +1263,8 @@ static void reversePropagateIntererstingSymbols(BugReport &R,
SVal ChildV = State->getSVal(child, LCtx);
R.markInteresting(ChildV);
}
break;
}
break;
}
}

Expand Down

0 comments on commit 08abb12

Please sign in to comment.