Searched refs:TrackedHandles (Results 1 – 1 of 1) sorted by relevance
507 HStateMapTy TrackedHandles = State->get<HStateMap>(); in checkDeadSymbols() local508 for (auto &CurItem : TrackedHandles) { in checkDeadSymbols()544 HStateMapTy TrackedHandles = State->get<HStateMap>(); in evalAssume() local545 for (auto &CurItem : TrackedHandles) { in evalAssume()