137 class RefState {  class
159   RefState(Kind k, const Stmt *s, AllocationFamily family)  in RefState()  function in __anon63f02cb00211::RefState
173   bool operator==(const RefState &X) const {  in operator ==()
177   static RefState getAllocated(AllocationFamily family, const Stmt *s) {  in getAllocated()
178     return RefState(Allocated, s, family);  in getAllocated()
180   static RefState getAllocatedOfSizeZero(const RefState *RS) {  in getAllocatedOfSizeZero()
181     return RefState(AllocatedOfSizeZero, RS->getStmt(),  in getAllocatedOfSizeZero()
184   static RefState getReleased(AllocationFamily family, const Stmt *s) {  in getReleased()
185     return RefState(Released, s, family);  in getReleased()
187   static RefState getRelinquished(AllocationFamily family, const Stmt *s) {  in getRelinquished()
188     return RefState(Relinquished, s, family);  in getRelinquished()
190   static RefState getEscaped(const RefState *RS) {  in getEscaped()
191     return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());  in getEscaped()
216 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
727                                const Expr *DeallocExpr, const RefState *RS,
886   static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev,  in isAllocated()
897   static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev,  in isReleased()
907   static inline bool isRelinquished(const RefState *RSCurr,  in isRelinquished()
908                                     const RefState *RSPrev, const Stmt *Stmt) {  in isRelinquished()
919   static inline bool hasReallocFailed(const RefState *RSCurr,  in hasReallocFailed()
920                                       const RefState *RSPrev,  in hasReallocFailed()
1517     const RefState *RS = State->get<RegionState>(Sym);  in ProcessZeroAllocCheck()
1521                                           RefState::getAllocatedOfSizeZero(RS));  in ProcessZeroAllocCheck()
1823   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));  in MallocUpdateRefState()
2035   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()
2112                                    RefState::getRelinquished(Family,  in FreeMemAux()
2116                                  RefState::getReleased(Family, ParentExpr));  in FreeMemAux()
2160   const RefState *RS = C.getState()->get<RegionState>(Sym);  in getCheckIfTracked()
2333                                             const RefState *RS, SymbolRef Sym,  in HandleMismatchedDealloc()
2787   const RefState *RS = C.getState()->get<RegionState>(Sym);  in HandleLeak()
3048   const RefState *RS = C.getState()->get<RegionState>(Sym);  in isReleased()
3074       if (const RefState *RS = State->get<RegionState>(Sym))  in suppressDeallocationsInSuspiciousContexts()
3075         State = State->set<RegionState>(Sym, RefState::getEscaped(RS));  in suppressDeallocationsInSuspiciousContexts()
3096   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {  in checkUseZeroAllocated()
3149     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {  in evalAssume()
3154               RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));  in evalAssume()
3351 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {  in checkIfNewOrNewArrayFamily()
3374     if (const RefState *RS = State->get<RegionState>(sym))  in checkPointerEscapeAux()
3377           State = State->set<RegionState>(sym, RefState::getEscaped(RS));  in checkPointerEscapeAux()
3428   const RefState *RSCurr = state->get<RegionState>(Sym);  in VisitNode()
3429   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()
3630       const RefState *RefS = State->get<RegionState>(Sym);  in printState()
3654   return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));  in markReleased()