reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
107 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); 107 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); 110 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 112 NewState.setStore(newStore); 115 ProgramStateRef Result = getPersistentState(NewState);