Searched defs:wantsRegionChangeUpdate (Results 1 – 6 of 6) sorted by relevance
217 bool wantsRegionChangeUpdate(ProgramStateRef St) const { return true; } in wantsRegionChangeUpdate() function in ento::CheckerDocumentation
1880 bool CStringChecker::wantsRegionChangeUpdate(ProgramStateRef state) const { in wantsRegionChangeUpdate() function in CStringChecker
147 bool wantsRegionChangeUpdate(ProgramStateRef state) const { in wantsRegionChangeUpdate() function in __anon54018c830111::MallocChecker
2530 bool wantsRegionChangeUpdate(ProgramStateRef state) const { in wantsRegionChangeUpdate() function in __anona6e8e9d70711::RetainCountChecker
462 bool CheckerManager::wantsRegionChangeUpdate(ProgramStateRef state) { in wantsRegionChangeUpdate() function in CheckerManager
179 bool ExprEngine::wantsRegionChangeUpdate(ProgramStateRef state) { in wantsRegionChangeUpdate() function in ExprEngine