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 | 61fb647fb44eb7da3569525a349308e0e81d5e59 (patch) | |
| tree | 323ddaa95cb51be34c144421db34d2d5d384e242 /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | e73d9ed1a281140a1116e49d15915cd8a20747b8 (diff) | |
| download | bcm5719-llvm-61fb647fb44eb7da3569525a349308e0e81d5e59.tar.gz bcm5719-llvm-61fb647fb44eb7da3569525a349308e0e81d5e59.zip | |
[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.
llvm-svn: 144340
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index eeb3451384f..a3fd4f80dcc 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/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? |
