Searched refs:makeWithStore (Results 1 – 2 of 2) sorted by relevance
125 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc()140 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()149 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()212 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()235 return makeWithStore(newStore); in killBinding()243 return makeWithStore(NewStore); in enterStackFrame()426 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore() function in ProgramState
95 ProgramStateRef makeWithStore(const StoreRef &store) const;