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