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