Searched defs:TrackedHandles (Results 1 – 1 of 1) sorted by relevance
510 HStateMapTy TrackedHandles = State->get<HStateMap>(); in checkDeadSymbols() local547 HStateMapTy TrackedHandles = State->get<HStateMap>(); in evalAssume() local