Searched refs:CurItem (Results 1 – 1 of 1) sorted by relevance
454 for (auto &CurItem : TrackedHandles) { in checkDeadSymbols() local455 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()460 if (!SymReaper.isDead(CurItem.first) || in checkDeadSymbols()463 if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated()) in checkDeadSymbols()464 LeakedSyms.push_back(CurItem.first); in checkDeadSymbols()465 State = State->remove<HStateMap>(CurItem.first); in checkDeadSymbols()491 for (auto &CurItem : TrackedHandles) { in evalAssume() local492 ConditionTruthVal HandleVal = Cmr.isNull(State, CurItem.first); in evalAssume()495 State = State->remove<HStateMap>(CurItem.first); in evalAssume()497 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()[all …]