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