118   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),  in bindLoc()  local
122     return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);  in bindLoc()
124   return newState;  in bindLoc()
205   ProgramStateRef newState = makeWithStore(newStore);  in invalidateRegionsImpl()  local
208     newState = Eng.notifyCheckersOfPointerEscape(newState, IS,  in invalidateRegionsImpl()
214   return Eng.processRegionChanges(newState, IS, TopLevelInvalidated,  in invalidateRegionsImpl()
422   ProgramState *newState = nullptr;  in getPersistentState()  local
424     newState = freeStates.back();  in getPersistentState()
428     newState = (ProgramState*) Alloc.Allocate<ProgramState>();  in getPersistentState()
430   new (newState) ProgramState(State);  in getPersistentState()
431   StateSet.InsertNode(newState, InsertPos);  in getPersistentState()
432   return newState;  in getPersistentState()