Lines Matching defs:RSPrev
965 static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev,
970 (!RSPrev ||
971 !(RSPrev->isAllocated() || RSPrev->isAllocatedOfSizeZero())));
976 static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev,
979 (RSCurr && RSCurr->isReleased()) && (!RSPrev || !RSPrev->isReleased());
987 const RefState *RSPrev, const Stmt *Stmt) {
991 (!RSPrev || !RSPrev->isRelinquished()));
999 const RefState *RSPrev,
1004 (RSPrev &&
1005 !(RSPrev->isAllocated() || RSPrev->isAllocatedOfSizeZero())));
3649 const RefState *RSPrev = statePrev->get<RegionState>(Sym);
3707 if (isAllocated(RSCurr, RSPrev, S)) {
3711 } else if (isReleased(RSCurr, RSPrev, S)) {
3811 } else if (isRelinquished(RSCurr, RSPrev, S)) {
3814 } else if (hasReallocFailed(RSCurr, RSPrev, S)) {