commit 4f7b483b7e9ba0170a8c1cd3d8be3e972b31fe36
author Ted Kremenek <kremenek@apple.com> Wed Aug 20 16:59:15 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Aug 20 16:59:15 2008 +0000
tree 6b91578c6db786c134f712cd566c23692038953d
parent a9f5496df43d0fcafc9c1e16a6ffba93cb00fe11

Patch by Zhongxing Xu: We should set back the modified ConstEq map.


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

lib/Analysis/GRState.cpp

diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index 23467e2..c9494fe 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -144,7 +144,8 @@
       CE = CEFactory.Remove(CE, sym);
     }
   }
-  
+  state = state.set<ConstEqTy>(CE);
+
   ConstNotEqTy CNE = state.get<ConstNotEqTy>();
   ConstNotEqTy::Factory& CNEFactory = state.get_context<ConstNotEqTy>();