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