Lines Matching defs:newState
122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
126 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);
128 return newState;
209 ProgramStateRef newState = makeWithStore(newStore);
212 newState = Eng.notifyCheckersOfPointerEscape(newState, IS,
218 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated,
410 ProgramState *newState = nullptr;
412 newState = freeStates.back();
416 newState = (ProgramState*) Alloc.Allocate<ProgramState>();
418 new (newState) ProgramState(State);
419 StateSet.InsertNode(newState, InsertPos);
420 return newState;