Searched refs:processRegionChange (Results 1 – 3 of 3) sorted by relevance
146 processRegionChange(ProgramStateRef state, in processRegionChange() function
129 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx); in bindLoc()141 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultInitial()150 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultZero()
440 State = processRegionChange(State, TR, LC); in createTemporaryRegionIfNeeded()