137 class RefState {  class
159   RefState(Kind k, const Stmt *s, AllocationFamily family)  in RefState()  function in __anon4d168ab20211::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)
693                                const Expr *DeallocExpr, const RefState *RS,
962   static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev,  in isAllocated()
973   static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev,  in isReleased()
983   static inline bool isRelinquished(const RefState *RSCurr,  in isRelinquished()
984                                     const RefState *RSPrev, const Stmt *Stmt) {  in isRelinquished()
995   static inline bool hasReallocFailed(const RefState *RSCurr,  in hasReallocFailed()
996                                       const RefState *RSPrev,  in hasReallocFailed()
1537     const RefState *RS = State->get<RegionState>(Sym);  in ProcessZeroAllocCheck()
1541                                           RefState::getAllocatedOfSizeZero(RS));  in ProcessZeroAllocCheck()
1769   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));  in MallocUpdateRefState()
1982   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()
2059                                    RefState::getRelinquished(Family,  in FreeMemAux()
2063                                  RefState::getReleased(Family, ParentExpr));  in FreeMemAux()
2107   const RefState *RS = C.getState()->get<RegionState>(Sym);  in getCheckIfTracked()
2280                                             const RefState *RS, SymbolRef Sym,  in HandleMismatchedDealloc()
2734   const RefState *RS = C.getState()->get<RegionState>(Sym);  in HandleLeak()
2993   const RefState *RS = C.getState()->get<RegionState>(Sym);  in isReleased()
3019       if (const RefState *RS = State->get<RegionState>(Sym))  in suppressDeallocationsInSuspiciousContexts()
3020         State = State->set<RegionState>(Sym, RefState::getEscaped(RS));  in suppressDeallocationsInSuspiciousContexts()
3041   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {  in checkUseZeroAllocated()
3094     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {  in evalAssume()
3099               RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));  in evalAssume()
3291 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {  in checkIfNewOrNewArrayFamily()
3318     if (const RefState *RS = State->get<RegionState>(sym))  in checkPointerEscapeAux()
3321           State = State->set<RegionState>(sym, RefState::getEscaped(RS));  in checkPointerEscapeAux()
3372   const RefState *RSCurr = state->get<RegionState>(Sym);  in VisitNode()
3373   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()
3562       const RefState *RefS = State->get<RegionState>(I.getKey());  in printState()
3586   return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));  in markReleased()