Lines Matching refs:RefState
169 class RefState { class
191 RefState(Kind k, const Stmt *s, AllocationFamily family) in RefState() function in __anon0957485b0211::RefState
205 bool operator==(const RefState &X) const { in operator ==()
209 static RefState getAllocated(AllocationFamily family, const Stmt *s) { in getAllocated()
210 return RefState(Allocated, s, family); in getAllocated()
212 static RefState getAllocatedOfSizeZero(const RefState *RS) { in getAllocatedOfSizeZero()
213 return RefState(AllocatedOfSizeZero, RS->getStmt(), in getAllocatedOfSizeZero()
216 static RefState getReleased(AllocationFamily family, const Stmt *s) { in getReleased()
217 return RefState(Released, s, family); in getReleased()
219 static RefState getRelinquished(AllocationFamily family, const Stmt *s) { in getRelinquished()
220 return RefState(Relinquished, s, family); in getRelinquished()
222 static RefState getEscaped(const RefState *RS) { in getEscaped()
223 return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily()); in getEscaped()
248 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
830 const Expr *DeallocExpr, const RefState *RS,
996 static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev, in isAllocated()
1007 static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev, in isReleased()
1017 static inline bool isRelinquished(const RefState *RSCurr, in isRelinquished()
1018 const RefState *RSPrev, const Stmt *Stmt) { in isRelinquished()
1029 static inline bool hasReallocFailed(const RefState *RSCurr, in hasReallocFailed()
1030 const RefState *RSPrev, in hasReallocFailed()
1713 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck()
1717 Sym, RefState::getAllocatedOfSizeZero(RS)); in ProcessZeroAllocCheck()
2021 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
2286 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
2372 RefState::getRelinquished(Family, in FreeMemAux()
2376 RefState::getReleased(Family, ParentExpr)); in FreeMemAux()
2417 const RefState *RS = C.getState()->get<RegionState>(Sym); in getRelevantFrontendAs()
2579 const RefState *RS, SymbolRef Sym, in HandleMismatchedDealloc()
2970 const RefState *RS = C.getState()->get<RegionState>(Sym); in HandleLeak()
3250 const RefState *RS = C.getState()->get<RegionState>(Sym); in isReleased()
3276 if (const RefState *RS = State->get<RegionState>(Sym)) in suppressDeallocationsInSuspiciousContexts()
3277 State = State->set<RegionState>(Sym, RefState::getEscaped(RS)); in suppressDeallocationsInSuspiciousContexts()
3298 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { in checkUseZeroAllocated()
3342 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { in evalAssume()
3347 RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt())); in evalAssume()
3544 static bool checkIfNewOrNewArrayFamily(const RefState *RS) { in checkIfNewOrNewArrayFamily()
3567 if (const RefState *RS = State->get<RegionState>(sym)) in checkPointerEscapeAux()
3570 State = State->set<RegionState>(sym, RefState::getEscaped(RS)); in checkPointerEscapeAux()
3621 const RefState *RSCurr = state->get<RegionState>(Sym); in VisitNode()
3622 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()
3851 const RefState *RefS = State->get<RegionState>(Sym); in printState()
3874 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin)); in markReleased()