Searched refs:notifyCheckersOfPointerEscape (Results 1 – 3 of 3) sorted by relevance
208 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
3537 ExprEngine::notifyCheckersOfPointerEscape(ProgramStateRef State, in notifyCheckersOfPointerEscape() function in ExprEngine
638 ProgramStateRef notifyCheckersOfPointerEscape(