Lines Matching refs:NewState
100 ProgramState NewState = *state;
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
107 NewState.setStore(newStore);
110 ProgramStateRef Result = getPersistentState(NewState);
116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
120 return Mgr.getOwningEngine()->processRegionChange(newState, MR);
122 return newState;
195 ProgramStateRef newState = makeWithStore(newStore);
198 newState = Eng->notifyCheckersOfPointerEscape(newState, IS,
204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,
376 ProgramState NewState(*FromState);
377 NewState.GDM = GDMState->GDM;
378 return getPersistentState(NewState);
390 ProgramState *newState = nullptr;
392 newState = freeStates.back();
396 newState = (ProgramState*) Alloc.Allocate<ProgramState>();
398 new (newState) ProgramState(State);
399 StateSet.InsertNode(newState, InsertPos);
400 return newState;
503 ProgramState NewState = *state;
504 NewState.GDM = NewM;
505 return getPersistentState(NewState);
682 ProgramStateRef NewState = set<TaintMap>(Sym, Kind);
683 assert(NewState);
684 return NewState;
784 ProgramStateRef NewState = set<DynamicTypeMap>(Reg, NewTy);
785 assert(NewState);
786 return NewState;
