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