diff options
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index 23467e2046..c9494fe7ea 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -144,7 +144,8 @@ GRStateManager::RemoveDeadBindings(const GRState* St, Stmt* Loc, CE = CEFactory.Remove(CE, sym); } } - + state = state.set<ConstEqTy>(CE); + ConstNotEqTy CNE = state.get<ConstNotEqTy>(); ConstNotEqTy::Factory& CNEFactory = state.get_context<ConstNotEqTy>(); |