Lines Matching defs: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);
377 ProgramState NewState(*FromState);
378 NewState.GDM = GDMState->GDM;
379 return getPersistentState(NewState);
504 ProgramState NewState = *state;
505 NewState.GDM = NewM;
506 return getPersistentState(NewState);
683 ProgramStateRef NewState = set<TaintMap>(Sym, Kind);
684 assert(NewState);
685 return NewState;
785 ProgramStateRef NewState = set<DynamicTypeMap>(Reg, NewTy);
786 assert(NewState);
787 return NewState;