508   for (auto &CurItem : TrackedHandles) {  in checkDeadSymbols()  local
509     SymbolRef ErrorSym = CurItem.second.getErrorSym();  in checkDeadSymbols()
514     if (!SymReaper.isDead(CurItem.first) ||  in checkDeadSymbols()
517     if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated())  in checkDeadSymbols()
518       LeakedSyms.push_back(CurItem.first);  in checkDeadSymbols()
519     State = State->remove<HStateMap>(CurItem.first);  in checkDeadSymbols()
545   for (auto &CurItem : TrackedHandles) {  in evalAssume()  local
546     ConditionTruthVal HandleVal = Cmr.isNull(State, CurItem.first);  in evalAssume()
549       State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
551     SymbolRef ErrorSym = CurItem.second.getErrorSym();  in evalAssume()
557       if (CurItem.second.maybeAllocated())  in evalAssume()
559             CurItem.first, HandleState::getAllocated(State, CurItem.second));  in evalAssume()
562       if (CurItem.second.maybeAllocated())  in evalAssume()
563         State = State->remove<HStateMap>(CurItem.first);  in evalAssume()