Lines Matching refs:RefState

126 class RefState {  class
148 RefState(Kind k, const Stmt *s, AllocationFamily family) in RefState() function in __anon0cb0310f0211::RefState
162 bool operator==(const RefState &X) const { in operator ==()
166 static RefState getAllocated(AllocationFamily family, const Stmt *s) { in getAllocated()
167 return RefState(Allocated, s, family); in getAllocated()
169 static RefState getAllocatedOfSizeZero(const RefState *RS) { in getAllocatedOfSizeZero()
170 return RefState(AllocatedOfSizeZero, RS->getStmt(), in getAllocatedOfSizeZero()
173 static RefState getReleased(AllocationFamily family, const Stmt *s) { in getReleased()
174 return RefState(Released, s, family); in getReleased()
176 static RefState getRelinquished(AllocationFamily family, const Stmt *s) { in getRelinquished()
177 return RefState(Relinquished, s, family); in getRelinquished()
179 static RefState getEscaped(const RefState *RS) { in getEscaped()
180 return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily()); in getEscaped()
205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
692 const Expr *DeallocExpr, const RefState *RS,
768 static inline bool isAllocated(const RefState *RSCurr, const RefState *RSPrev, in isAllocated()
779 static inline bool isReleased(const RefState *RSCurr, const RefState *RSPrev, in isReleased()
790 static inline bool isRelinquished(const RefState *RSCurr, in isRelinquished()
791 const RefState *RSPrev, const Stmt *Stmt) { in isRelinquished()
803 static inline bool hasReallocFailed(const RefState *RSCurr, in hasReallocFailed()
804 const RefState *RSPrev, in hasReallocFailed()
1340 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck()
1344 RefState::getAllocatedOfSizeZero(RS)); in ProcessZeroAllocCheck()
1568 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E)); in MallocUpdateRefState()
1781 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux()
1858 RefState::getRelinquished(Family, in FreeMemAux()
1862 RefState::getReleased(Family, ParentExpr)); in FreeMemAux()
1906 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked()
2077 const RefState *RS, SymbolRef Sym, in HandleMismatchedDealloc()
2529 const RefState *RS = C.getState()->get<RegionState>(Sym); in HandleLeak()
2786 const RefState *RS = C.getState()->get<RegionState>(Sym); in isReleased()
2812 if (const RefState *RS = State->get<RegionState>(Sym)) in suppressDeallocationsInSuspiciousContexts()
2813 State = State->set<RegionState>(Sym, RefState::getEscaped(RS)); in suppressDeallocationsInSuspiciousContexts()
2834 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { in checkUseZeroAllocated()
2887 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { in evalAssume()
2892 RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt())); in evalAssume()
3084 static bool checkIfNewOrNewArrayFamily(const RefState *RS) { in checkIfNewOrNewArrayFamily()
3111 if (const RefState *RS = State->get<RegionState>(sym)) in checkPointerEscapeAux()
3114 State = State->set<RegionState>(sym, RefState::getEscaped(RS)); in checkPointerEscapeAux()
3165 const RefState *RSCurr = state->get<RegionState>(Sym); in VisitNode()
3166 const RefState *RSPrev = statePrev->get<RegionState>(Sym); in VisitNode()
3355 const RefState *RefS = State->get<RegionState>(I.getKey()); in printState()
3378 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin)); in markReleased()