Searched refs:processRegionChange (Results 1 – 2 of 2) sorted by relevance
141 processRegionChange(ProgramStateRef state, in processRegionChange() function
120 return Mgr.getOwningEngine()->processRegionChange(newState, MR); in bindLoc()131 Mgr.getOwningEngine()->processRegionChange(new_state, R) : in bindDefault()