Lines Matching defs:RefState
171 class RefState {
193 RefState(Kind k, const Stmt *s, AllocationFamily family)
207 bool operator==(const RefState &X) const {
211 static RefState getAllocated(AllocationFamily family, const Stmt *s) {
212 return RefState(Allocated, s, family);
214 static RefState getAllocatedOfSizeZero(const RefState *RS) {
215 return RefState(AllocatedOfSizeZero, RS->getStmt(),
218 static RefState getReleased(AllocationFamily family, const Stmt *s) {
219 return RefState(Released, s, family);
221 static RefState getRelinquished(AllocationFamily family, const Stmt *s) {
222 return RefState(Relinquished, s, family);
224 static RefState getEscaped(const RefState *RS) {
225 return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());
250 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
255 /// Update the RefState to reflect the new memory allocation.
797 const Expr *DeallocExpr, const RefState *RS,
965 static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev,
976 static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev,
986 static inline bool isRelinquished(const RefState *RSCurr,
987 const RefState *RSPrev, const Stmt *Stmt) {
998 static inline bool hasReallocFailed(const RefState *RSCurr,
999 const RefState *RSPrev,
1653 const RefState *RS = State->get<RegionState>(Sym);
1657 RefState::getAllocatedOfSizeZero(RS));
1964 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));
2231 const RefState *RsBase = State->get<RegionState>(SymBase);
2316 RefState::getRelinquished(Family,
2320 RefState::getReleased(Family, ParentExpr));
2367 const RefState *RS = C.getState()->get<RegionState>(Sym);
2540 const RefState *RS, SymbolRef Sym,
2998 const RefState *RS = C.getState()->get<RegionState>(Sym);
3268 const RefState *RS = C.getState()->get<RegionState>(Sym);
3294 if (const RefState *RS = State->get<RegionState>(Sym))
3295 State = State->set<RegionState>(Sym, RefState::getEscaped(RS));
3316 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
3369 if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
3374 RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));
3571 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {
3594 if (const RefState *RS = State->get<RegionState>(sym))
3597 State = State->set<RegionState>(sym, RefState::getEscaped(RS));
3648 const RefState *RSCurr = state->get<RegionState>(Sym);
3649 const RefState *RSPrev = statePrev->get<RegionState>(Sym);
3878 const RefState *RefS = State->get<RegionState>(Sym);
3902 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));