[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
2011-11-11 00:10:55 +00:00 · 2011-11-11 00:10:55 +00:00 · 61fb647fb4
parent e73d9ed1a2
commit 61fb647fb4
1 changed files with 1 additions and 1 deletions
--- 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?