507   for (auto &CurItem : TrackedHandles) {  in checkDeadSymbols()  local
508     SymbolRef ErrorSym = CurItem.second.getErrorSym();  in checkDeadSymbols()
513     if (!SymReaper.isDead(CurItem.first) ||  in checkDeadSymbols()
516     if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated())  in checkDeadSymbols()
517       LeakedSyms.push_back(CurItem.first);  in checkDeadSymbols()
518     State = State->remove<HStateMap>(CurItem.first);  in checkDeadSymbols()
544   for (auto &CurItem : TrackedHandles) {  in evalAssume()  local
545     ConditionTruthVal HandleVal = Cmr.isNull(State, CurItem.first);  in evalAssume()
548       State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
550     SymbolRef ErrorSym = CurItem.second.getErrorSym();  in evalAssume()
556       if (CurItem.second.maybeAllocated())  in evalAssume()
558             CurItem.first, HandleState::getAllocated(State, CurItem.second));  in evalAssume()
561       if (CurItem.second.maybeAllocated())  in evalAssume()
562         State = State->remove<HStateMap>(CurItem.first);  in evalAssume()