Searched refs:processRegionChange (Results 1 – 3 of 3) sorted by relevance
122 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx); in bindLoc()134 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultInitial()143 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultZero()
456 State = processRegionChange(State, TR, LC); in createTemporaryRegionIfNeeded()
406 processRegionChange(ProgramStateRef state, in processRegionChange() function