Searched refs:runCheckersForRegionChanges (Results 1 – 3 of 3) sorted by relevance
411 runCheckersForRegionChanges(ProgramStateRef state,
667 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state, in runCheckersForRegionChanges() function in CheckerManager
680 return getCheckerManager().runCheckersForRegionChanges(state, invalidated, in processRegionChanges()