Searched refs:handleSymbolDeath (Results 1 – 2 of 2) sorted by relevance
346 ProgramStateRef handleSymbolDeath(ProgramStateRef state,
1285 RetainCountChecker::handleSymbolDeath(ProgramStateRef state, in handleSymbolDeath() function in RetainCountChecker1404 state = handleSymbolDeath(state, I.first, I.second, Leaked); in checkEndFunction()1428 state = handleSymbolDeath(state, Sym, *getRefBinding(state, Sym), Leaked); in checkDeadSymbols()