Searched refs:removeDeadCasts (Results 1 – 2 of 2) sorted by relevance
179 ProgramStateRef removeDeadCasts(ProgramStateRef State, SymbolReaper &SR) { in removeDeadCasts() function
519 C.addTransition(removeDeadCasts(C.getState(), SR)); in checkDeadSymbols()