commit 448ab62469bc7ef086990b9935e999c6b93532be
author Ted Kremenek <kremenek@apple.com> Thu Aug 28 18:34:26 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Aug 28 18:34:26 2008 +0000
tree ac7b63ae2dfa6991e914f0590c20e413a1777afd
parent 7cfb85b8d1b17cd6e162f74762c58f95562db1e5

Fixed analyzer caching bug in DeclStmt.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55487 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index c92093c..75ba460 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1452,25 +1452,19 @@
 }
 
 void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) {  
-  VisitDeclStmtAux(DS, DS->getDecl(), Pred, Dst);
-}
 
-void GRExprEngine::VisitDeclStmtAux(DeclStmt* DS, ScopedDecl* D,
-                                    NodeTy* Pred, NodeSet& Dst) {
-
-  if (!D)
-    return;
+  // The CFG has one DeclStmt per Decl, so we don't need to walk the 
+  // Decl chain.
   
-  if (!isa<VarDecl>(D)) {
-    VisitDeclStmtAux(DS, D->getNextDeclarator(), Pred, Dst);
+  ScopedDecl* D = DS->getDecl();
+  
+  if (!D || !isa<VarDecl>(D))
     return;
-  }
   
   const VarDecl* VD = dyn_cast<VarDecl>(D);
   
   // FIXME: Add support for local arrays.
   if (VD->getType()->isArrayType()) {
-    VisitDeclStmtAux(DS, D->getNextDeclarator(), Pred, Dst);
     return;
   }
   
@@ -1480,21 +1474,16 @@
   //  time a function is called those values may not be current.
   NodeSet Tmp;
 
-  if (Ex) Visit(Ex, Pred, Tmp);
-  if (Tmp.empty()) Tmp.Add(Pred);
+  if (Ex)
+    Visit(Ex, Pred, Tmp);
+
+  if (Tmp.empty())
+    Tmp.Add(Pred);
   
   for (NodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) {
     const GRState* St = GetState(*I);
     St = StateMgr.AddDecl(St, VD, Ex, Builder->getCurrentBlockCount());
-    
-    // Create a new node.  We don't really need to create a new NodeSet
-    // here, but it simplifies things and doesn't cost much.
-    NodeSet Tmp2;    
-    MakeNode(Tmp2, DS, *I, St);
-    if (Tmp2.empty()) Tmp2.Add(*I);
-    
-    for (NodeSet::iterator I2=Tmp2.begin(), E2=Tmp2.end(); I2!=E2; ++I2)
-      VisitDeclStmtAux(DS, D->getNextDeclarator(), *I2, Dst);
+    MakeNode(Dst, DS, *I, St);
   }
 }