Lines Matching defs: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,
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;