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