Lines Matching defs:NewState

101   ProgramState NewState = *state;
103   NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
106   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
108   NewState.setStore(newStore);
111   return getPersistentState(NewState);
186   ProgramStateRef NewState = makeWithStore(NewStore);
189     NewState = Eng.notifyCheckersOfPointerEscape(
190         NewState, IS, TopLevelInvalidated, Call, *ITraits);
193   return Eng.processRegionChanges(NewState, IS, TopLevelInvalidated,
407   ProgramState NewState(*FromState);
408   NewState.GDM = GDMState->GDM;
409   return getPersistentState(NewState);
560   ProgramState NewState = *state;
561   NewState.GDM = NewM;
562   return getPersistentState(NewState);