Author: kremenek
Date: Thu Nov 10 18:10:55 2011
New Revision: 144340
URL: http://llvm.org/viewvc/llvm-project?rev=144340&view=rev
Log:
[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.
Modified:
cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=144340&r1=144339&r2=144340&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp Thu Nov 10 18:10:55 2011
@@ -230,7 +230,7 @@
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?
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
