commit eb38fde5e599bbcc7c18eb5f3bb692a9a61fd75c
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 68210e7790402589fa73158f73bc72787d1502b0
parent 837c13a0299ea152724a7cff7af5261015a44f3d

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

llvm-svn: 55060

clang/lib/Analysis/GRState.cpp

diff --git a/clang/lib/Analysis/GRState.cpp b/clang/lib/Analysis/GRState.cpp
index 23467e2..c9494fe 100644
--- a/clang/lib/Analysis/GRState.cpp
+++ b/clang/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>();