100   ProgramState NewState = *state;  in removeDeadBindingsFromEnvironmentAndStore()  local
102   NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);  in removeDeadBindingsFromEnvironmentAndStore()
105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,  in removeDeadBindingsFromEnvironmentAndStore()
107   NewState.setStore(newStore);  in removeDeadBindingsFromEnvironmentAndStore()
110   return getPersistentState(NewState);  in removeDeadBindingsFromEnvironmentAndStore()
408   ProgramState NewState(*FromState);  in getPersistentStateWithGDM()  local
409   NewState.GDM = GDMState->GDM;  in getPersistentStateWithGDM()
410   return getPersistentState(NewState);  in getPersistentStateWithGDM()
541   ProgramState NewState = *state;  in removeGDM()  local
542   NewState.GDM = NewM;  in removeGDM()
543   return getPersistentState(NewState);  in removeGDM()