113 class HandleState {  class
117   HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {}  in HandleState()  function in __anon359a409e0111::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()
329         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPreCall()
348       const HandleState *HState = State->get<HStateMap>(Handle);  in checkPreCall()
397         State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr));  in checkPostCall()
412     State = State->set<HStateMap>(RetSym, HandleState::getUnowned());  in checkPostCall()
424       const HandleState *HState = State->get<HStateMap>(Handle);  in checkPostCall()
446           State = State->set<HStateMap>(Handle, HandleState::getReleased());  in checkPostCall()
461             Handle, HandleState::getMaybeAllocated(ResultSymbol));  in checkPostCall()
474         State = State->set<HStateMap>(Handle, HandleState::getUnowned());  in checkPostCall()
482         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPostCall()
562             CurItem.first, HandleState::getAllocated(State, CurItem.second));  in evalAssume()
602       State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
606         State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()