Searched defs:newState (Results 1 – 3 of 3) sorted by relevance
119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local206 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local421 ProgramState *newState = nullptr; in getPersistentState() local
279 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
285 void reference(RefState newState) { in reference()