Home | History | Annotate | Download | only in Core

Lines Matching refs:NewState

69   ProgramState NewState = *state;
71   NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
74   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
76   NewState.setStore(newStore);
79   return getPersistentState(NewState);
115   const ProgramState *newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 
119     return Mgr.getOwningEngine()->processRegionChange(newState, MR);
121   return newState;
160     const ProgramState *newState = makeWithStore(newStore);
161     return Eng->processRegionChanges(newState, &IS, Regions, Invalidated);
335   ProgramState NewState = *FromState;
336   NewState.GDM = GDMState->GDM;
337   return getPersistentState(NewState);
349   ProgramState *newState = 0;
351     newState = freeStates.back();
355     newState = (ProgramState*) Alloc.Allocate<ProgramState>();
357   new (newState) ProgramState(State);
358   StateSet.InsertNode(newState, InsertPos);
359   recentlyAllocatedStates.push_back(newState);
360   return newState;
511   ProgramState NewState = *state;
512   NewState.GDM = NewM;
513   return getPersistentState(NewState);