113 class HandleState {  class
117   HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {}  in HandleState()  function in __anon1e23d2c20111::HandleState
120   bool operator==(const HandleState &Other) const {  in operator ==()
129   static HandleState getMaybeAllocated(SymbolRef ErrorSym) {  in getMaybeAllocated()
130     return HandleState(Kind::MaybeAllocated, ErrorSym);  in getMaybeAllocated()
132   static HandleState getAllocated(ProgramStateRef State, HandleState S) {  in getAllocated()
137     return HandleState(Kind::Allocated, nullptr);  in getAllocated()
139   static HandleState getReleased() {  in getReleased()
140     return HandleState(Kind::Released, nullptr);  in getReleased()
142   static HandleState getEscaped() {  in getEscaped()
143     return HandleState(Kind::Escaped, nullptr);  in getEscaped()
145   static HandleState getUnowned() {  in getUnowned()
146     return HandleState(Kind::Unowned, nullptr);  in getUnowned()
230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState)  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()
457             Handle, HandleState::getMaybeAllocated(ResultSymbol));  in checkPostCall()
470         State = State->set<HStateMap>(Handle, HandleState::getUnowned());  in checkPostCall()
478         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPostCall()
558             CurItem.first, HandleState::getAllocated(State, CurItem.second));  in evalAssume()
598       State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
602         State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()