231 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
238   if (!State->get<HStateMap>(Sym))  in REGISTER_MAP_WITH_PROGRAMSTATE()
244     if (!State->get<HStateMap>(Sym)) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
245       const HandleState *HState = Pred->getState()->get<HStateMap>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
326         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPreCall()
345       const HandleState *HState = State->get<HStateMap>(Handle);  in checkPreCall()
394         State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr));  in checkPostCall()
409     State = State->set<HStateMap>(RetSym, HandleState::getUnowned());  in checkPostCall()
421       const HandleState *HState = State->get<HStateMap>(Handle);  in checkPostCall()
443           State = State->set<HStateMap>(Handle, HandleState::getReleased());  in checkPostCall()
457         State = State->set<HStateMap>(  in checkPostCall()
471         State = State->set<HStateMap>(Handle, HandleState::getUnowned());  in checkPostCall()
479         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPostCall()
507   HStateMapTy TrackedHandles = State->get<HStateMap>();  in checkDeadSymbols()
519     State = State->remove<HStateMap>(CurItem.first);  in checkDeadSymbols()
544   HStateMapTy TrackedHandles = State->get<HStateMap>();  in evalAssume()
549       State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
558         State = State->set<HStateMap>(  in evalAssume()
563         State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
597   for (auto I : State->get<HStateMap>()) {  in checkPointerEscape()
599       State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
603         State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
686   HStateMapTy StateMap = State->get<HStateMap>();  in printState()