230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
237   if (!State->get<HStateMap>(Sym))  in REGISTER_MAP_WITH_PROGRAMSTATE()
243     if (!State->get<HStateMap>(Sym)) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
244       const HandleState *HState = Pred->getState()->get<HStateMap>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
325         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPreCall()
344       const HandleState *HState = State->get<HStateMap>(Handle);  in checkPreCall()
393         State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr));  in checkPostCall()
408     State = State->set<HStateMap>(RetSym, HandleState::getUnowned());  in checkPostCall()
420       const HandleState *HState = State->get<HStateMap>(Handle);  in checkPostCall()
442           State = State->set<HStateMap>(Handle, HandleState::getReleased());  in checkPostCall()
456         State = State->set<HStateMap>(  in checkPostCall()
470         State = State->set<HStateMap>(Handle, HandleState::getUnowned());  in checkPostCall()
478         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPostCall()
506   HStateMapTy TrackedHandles = State->get<HStateMap>();  in checkDeadSymbols()
518     State = State->remove<HStateMap>(CurItem.first);  in checkDeadSymbols()
543   HStateMapTy TrackedHandles = State->get<HStateMap>();  in evalAssume()
548       State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
557         State = State->set<HStateMap>(  in evalAssume()
562         State = State->remove<HStateMap>(CurItem.first);  in evalAssume()
596   for (auto I : State->get<HStateMap>()) {  in checkPointerEscape()
598       State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
602         State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
684   HStateMapTy StateMap = State->get<HStateMap>();  in printState()