Searched refs:TrackedHandles (Results 1 – 1 of 1) sorted by relevance
506 HStateMapTy TrackedHandles = State->get<HStateMap>(); in checkDeadSymbols() local507 for (auto &CurItem : TrackedHandles) { in checkDeadSymbols()543 HStateMapTy TrackedHandles = State->get<HStateMap>(); in evalAssume() local544 for (auto &CurItem : TrackedHandles) { in evalAssume()