102 class HandleState {  class
106   HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {}  in HandleState()  function in __anon1871df020111::HandleState
109   bool operator==(const HandleState &Other) const {  in operator ==()
117   static HandleState getMaybeAllocated(SymbolRef ErrorSym) {  in getMaybeAllocated()
118     return HandleState(Kind::MaybeAllocated, ErrorSym);  in getMaybeAllocated()
120   static HandleState getAllocated(ProgramStateRef State, HandleState S) {  in getAllocated()
125     return HandleState(Kind::Allocated, nullptr);  in getAllocated()
127   static HandleState getReleased() {  in getReleased()
128     return HandleState(Kind::Released, nullptr);  in getReleased()
130   static HandleState getEscaped() {  in getEscaped()
131     return HandleState(Kind::Escaped, nullptr);  in getEscaped()
200 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState)  in REGISTER_MAP_WITH_PROGRAMSTATE()
214       const HandleState *HState = Pred->getState()->get<HStateMap>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
261         State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPreCall()
281     const HandleState *HState = State->get<HStateMap>(Handle);  in checkPreCall()
294       State = State->set<HStateMap>(Handle, HandleState::getEscaped());  in checkPreCall()
318         State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr));  in checkPostCall()
330     const HandleState *HState = State->get<HStateMap>(Handle);  in checkPostCall()
345         State = State->set<HStateMap>(Handle, HandleState::getReleased());  in checkPostCall()
356           Handle, HandleState::getMaybeAllocated(ResultSymbol));  in checkPostCall()
428             CurItem.first, HandleState::getAllocated(State, CurItem.second));  in evalAssume()
467       State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()
471         State = State->set<HStateMap>(I.first, HandleState::getEscaped());  in checkPointerEscape()