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