886   static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev,  in isAllocated()  argument
891             (!RSPrev ||  in isAllocated()
892              !(RSPrev->isAllocated() || RSPrev->isAllocatedOfSizeZero())));  in isAllocated()
897   static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev,  in isReleased()  argument
900         (RSCurr && RSCurr->isReleased()) && (!RSPrev || !RSPrev->isReleased());  in isReleased()
908                                     const RefState *RSPrev, const Stmt *Stmt) {  in isRelinquished()  argument
912         (!RSPrev || !RSPrev->isRelinquished()));  in isRelinquished()
920                                       const RefState *RSPrev,  in hasReallocFailed()  argument
925             (RSPrev &&  in hasReallocFailed()
926              !(RSPrev->isAllocated() || RSPrev->isAllocatedOfSizeZero())));  in hasReallocFailed()
3429   const RefState *RSPrev = statePrev->get<RegionState>(Sym);  in VisitNode()  local
3480     if (isAllocated(RSCurr, RSPrev, S)) {  in VisitNode()
3484     } else if (isReleased(RSCurr, RSPrev, S)) {  in VisitNode()
3563     } else if (isRelinquished(RSCurr, RSPrev, S)) {  in VisitNode()
3566     } else if (hasReallocFailed(RSCurr, RSPrev, S)) {  in VisitNode()