Searched refs:CurItem (Results 1 – 1 of 1) sorted by relevance
511 for (auto &CurItem : TrackedHandles) { in checkDeadSymbols() local512 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() local549 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()[all …]