From 9e9a3e612d57b583800d5f0e48bb28d4afbd8b84 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 11 Nov 2011 00:10:55 +0000 Subject: [PATCH] [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 --- lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(Pred->getLocation())) + if (isa(Pred->getLocation())) return true; // Is this on a non-expression? -- 2.50.1