commit a1d070b25c18b75e7e2daa75a35537bac20f7e80
author Ted Kremenek <kremenek@apple.com> Mon Mar 10 04:45:00 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Mar 10 04:45:00 2008 +0000
tree 88782bbdd64971b2436ff3b1186a9b4574749ce8
parent 50ef5ff5be5c1a2d4937d455b0c50ee44470b11b

More edge-case handling with using liveness information to prune dead state values.


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

Analysis/GRCoreEngine.cpp

diff --git a/Analysis/GRCoreEngine.cpp b/Analysis/GRCoreEngine.cpp
index cff3337..53831ed 100644
--- a/Analysis/GRCoreEngine.cpp
+++ b/Analysis/GRCoreEngine.cpp
@@ -292,7 +292,7 @@
 
 GRStmtNodeBuilderImpl::GRStmtNodeBuilderImpl(CFGBlock* b, unsigned idx,
                                      ExplodedNodeImpl* N, GRCoreEngineImpl* e)
-  : Eng(*e), B(*b), Idx(idx), LastNode(N), Populated(false) {
+  : Eng(*e), B(*b), Idx(idx), Pred(N), LastNode(N), Populated(false) {
   Deferred.insert(N);
 }
 

Analysis/GRExprEngine.cpp

diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index aafc735..15fe88ec 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/Analysis/GRExprEngine.cpp
@@ -403,6 +403,8 @@
 
   CleanedState = StateMgr.RemoveDeadBindings(StmtEntryNode->getState(),
                                              CurrentStmt, Liveness);
+  
+  Builder->SetCleanedState(CleanedState);
 
   // Visit the statement.