Searched refs:newState (Results 1 – 3 of 3) sorted by relevance
119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local125 return newState; in bindLoc()206 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local209 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()215 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()421 ProgramState *newState = nullptr; in getPersistentState() local423 newState = freeStates.back(); in getPersistentState()427 newState = (ProgramState*) Alloc.Allocate<ProgramState>(); in getPersistentState()429 new (newState) ProgramState(State); in getPersistentState()430 StateSet.InsertNode(newState, InsertPos); in getPersistentState()[all …]
279 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local280 state = newState; in getInitialState()
285 void reference(RefState newState) { in reference() argument286 assert(newState > RefState::Unreferenced); in reference()289 refState = std::max(refState, newState); in reference()