diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-11-11 00:10:55 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-11-11 00:10:55 +0000 |
| commit | 9e9a3e612d57b583800d5f0e48bb28d4afbd8b84 (patch) | |
| tree | ce71f9c524ac927ad32151fa47d212f08dedc093 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 36f6e30d5c21a693abf2612ef086e83e9696f0e0 (diff) | |
[static analyzer] be more specific when running removeDeadBindings. Instead of seeing if the predecessor node was a non-StmtPoint, check if it is specifically a BlockEntrance node.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144340 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index eeb3451384..a3fd4f80dc 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -230,7 +230,7 @@ static bool shouldRemoveDeadBindings(AnalysisManager &AMgr, return false; // Is this the beginning of a basic block? - if (!isa<StmtPoint>(Pred->getLocation())) + if (isa<BlockEntrance>(Pred->getLocation())) return true; // Is this on a non-expression? |