511   for (auto &CurItem : TrackedHandles) {  in checkDeadSymbols()  local
512     SymbolRef ErrorSym = CurItem.second.getErrorSym();  in checkDeadSymbols()
517     if (!SymReaper.isDead(CurItem.first) ||  in checkDeadSymbols()
520     if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated())  in checkDeadSymbols()
521       LeakedSyms.push_back(CurItem.first);  in checkDeadSymbols()
522     State = State->remove<HStateMap>(CurItem.first);  in checkDeadSymbols()
548   for (auto &CurItem : TrackedHandles) {  in evalAssume()  local
549     ConditionTruthVal HandleVal = Cmr.isNull(State, CurItem.first);  in evalAssume()
552       State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
554     SymbolRef ErrorSym = CurItem.second.getErrorSym();  in evalAssume()
560       if (CurItem.second.maybeAllocated())  in evalAssume()
562             CurItem.first, HandleState::getAllocated(State, CurItem.second));  in evalAssume()
565       if (CurItem.second.maybeAllocated())  in evalAssume()
566         State = State->remove<HStateMap>(CurItem.first);  in evalAssume()