136 class RefState {  class
158   RefState(Kind k, const Stmt *s, AllocationFamily family)  in RefState()  function in __anonac89c38b0211::RefState
172   bool operator==(const RefState &X) const {  in operator ==()
176   static RefState getAllocated(AllocationFamily family, const Stmt *s) {  in getAllocated()
177     return RefState(Allocated, s, family);  in getAllocated()
179   static RefState getAllocatedOfSizeZero(const RefState *RS) {  in getAllocatedOfSizeZero()
180     return RefState(AllocatedOfSizeZero, RS->getStmt(),  in getAllocatedOfSizeZero()
183   static RefState getReleased(AllocationFamily family, const Stmt *s) {  in getReleased()
184     return RefState(Released, s, family);  in getReleased()
186   static RefState getRelinquished(AllocationFamily family, const Stmt *s) {  in getRelinquished()
187     return RefState(Relinquished, s, family);  in getRelinquished()
189   static RefState getEscaped(const RefState *RS) {  in getEscaped()
190     return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());  in getEscaped()
215 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
707                                const Expr *DeallocExpr, const RefState *RS,
976   static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev,  in isAllocated()
987   static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev,  in isReleased()
997   static inline bool isRelinquished(const RefState *RSCurr,  in isRelinquished()
998                                     const RefState *RSPrev, const Stmt *Stmt) {  in isRelinquished()
1009   static inline bool hasReallocFailed(const RefState *RSCurr,  in hasReallocFailed()
1010                                       const RefState *RSPrev,  in hasReallocFailed()
1552     const RefState *RS = State->get<RegionState>(Sym);  in ProcessZeroAllocCheck()
1556                                           RefState::getAllocatedOfSizeZero(RS));  in ProcessZeroAllocCheck()
1780   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));  in MallocUpdateRefState()
1993   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()
2070                                    RefState::getRelinquished(Family,  in FreeMemAux()
2074                                  RefState::getReleased(Family, ParentExpr));  in FreeMemAux()
2118   const RefState *RS = C.getState()->get<RegionState>(Sym);  in getCheckIfTracked()
2289                                             const RefState *RS, SymbolRef Sym,  in HandleMismatchedDealloc()
2743   const RefState *RS = C.getState()->get<RegionState>(Sym);  in HandleLeak()
3002   const RefState *RS = C.getState()->get<RegionState>(Sym);  in isReleased()
3028       if (const RefState *RS = State->get<RegionState>(Sym))  in suppressDeallocationsInSuspiciousContexts()
3029         State = State->set<RegionState>(Sym, RefState::getEscaped(RS));  in suppressDeallocationsInSuspiciousContexts()
3050   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {  in checkUseZeroAllocated()
3103     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {  in evalAssume()
3108               RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));  in evalAssume()
3300 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {  in checkIfNewOrNewArrayFamily()
3327     if (const RefState *RS = State->get<RegionState>(sym))  in checkPointerEscapeAux()
3330           State = State->set<RegionState>(sym, RefState::getEscaped(RS));  in checkPointerEscapeAux()
3381   const RefState *RSCurr = state->get<RegionState>(Sym);  in VisitNode()
3382   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()
3571       const RefState *RefS = State->get<RegionState>(I.getKey());  in printState()
3594   return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));  in markReleased()