[cfe-commits] r144340 - /cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp

Ted Kremenek kremenek at apple.com
Thu Nov 10 16:10:55 PST 2011


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?





More information about the cfe-commits mailing list