Searched refs:processRegionChange (Results 1 – 3 of 3) sorted by relevance
123 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx); in bindLoc()135 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultInitial()144 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultZero()
468 State = processRegionChange(State, TR, LC); in createTemporaryRegionIfNeeded()
399 processRegionChange(ProgramStateRef state, in processRegionChange() function