Searched refs:handleSymbolDeath (Results 1 – 1 of 1) sorted by relevance
2642 ProgramStateRef handleSymbolDeath(ProgramStateRef state,3759 RetainCountChecker::handleSymbolDeath(ProgramStateRef state, in handleSymbolDeath() function in RetainCountChecker3844 state = handleSymbolDeath(state, I->first, I->second, Leaked); in checkEndFunction()3884 state = handleSymbolDeath(state, *I, *getRefBinding(state, Sym), Leaked); in checkDeadSymbols()