53 class RefState {  class
74   RefState(Kind k, const Stmt *s, unsigned family)  in RefState()  function in __anon98725bea0111::RefState
89   bool operator==(const RefState &X) const {  in operator ==()
93   static RefState getAllocated(unsigned family, const Stmt *s) {  in getAllocated()
94     return RefState(Allocated, s, family);  in getAllocated()
96   static RefState getAllocatedOfSizeZero(const RefState *RS) {  in getAllocatedOfSizeZero()
97     return RefState(AllocatedOfSizeZero, RS->getStmt(),  in getAllocatedOfSizeZero()
100   static RefState getReleased(unsigned family, const Stmt *s) {  in getReleased()
101     return RefState(Released, s, family);  in getReleased()
103   static RefState getRelinquished(unsigned family, const Stmt *s) {  in getRelinquished()
104     return RefState(Relinquished, s, family);  in getRelinquished()
106   static RefState getEscaped(const RefState *RS) {  in getEscaped()
107     return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());  in getEscaped()
388                                   bool(*CheckRefState)(const RefState*)) const;
412                                const Expr *DeallocExpr, const RefState *RS,
477     inline bool isAllocated(const RefState *S, const RefState *SPrev,  in isAllocated()
486     inline bool isReleased(const RefState *S, const RefState *SPrev,  in isReleased()
498     inline bool isRelinquished(const RefState *S, const RefState *SPrev,  in isRelinquished()
507     inline bool isReallocFailedCheck(const RefState *S, const RefState *SPrev,  in isReallocFailedCheck()
566 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
1016     const RefState *RS = State->get<RegionState>(Sym);  in ProcessZeroAllocation()
1020                                           RefState::getAllocatedOfSizeZero(RS));  in ProcessZeroAllocation()
1310   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));  in MallocUpdateRefState()
1556   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()
1629                                    RefState::getRelinquished(Family,  in FreeMemAux()
1633                                  RefState::getReleased(Family, ParentExpr));  in FreeMemAux()
1685   const RefState *RS = C.getState()->get<RegionState>(Sym);  in getCheckIfTracked()
1852                                             const RefState *RS,  in ReportMismatchedDealloc()
2289   const RefState *RS = C.getState()->get<RegionState>(Sym);  in reportLeak()
2530   const RefState *RS = C.getState()->get<RegionState>(Sym);  in isReleased()
2549   if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {  in checkUseZeroAllocated()
2602     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {  in evalAssume()
2606               RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));  in evalAssume()
2785 static bool retTrue(const RefState *RS) {  in retTrue()
2789 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {  in checkIfNewOrNewArrayFamily()
2813                                   bool(*CheckRefState)(const RefState*)) const {  in checkPointerEscapeAux()
2832     if (const RefState *RS = State->get<RegionState>(sym)) {  in checkPointerEscapeAux()
2836         State = State->set<RegionState>(sym, RefState::getEscaped(RS));  in checkPointerEscapeAux()
2877   const RefState *RS = state->get<RegionState>(Sym);  in VisitNode()
2878   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()
3060       const RefState *RefS = State->get<RegionState>(I.getKey());  in printState()
3083   return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));  in markReleased()