reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
721 SymReaper.markLive(Sym); 723 SymReaper.markLive(MR); 726 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper); 731 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 739 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, 751 getConstraintManager().removeDeadBindings(CheckerState, SymReaper);