Lines Matching refs:RefState
51 class RefState {
72 RefState(Kind k, const Stmt *s, unsigned family)
87 bool operator==(const RefState &X) const {
91 static RefState getAllocated(unsigned family, const Stmt *s) {
92 return RefState(Allocated, s, family);
94 static RefState getAllocatedOfSizeZero(const RefState *RS) {
95 return RefState(AllocatedOfSizeZero, RS->getStmt(),
98 static RefState getReleased(unsigned family, const Stmt *s) {
99 return RefState(Released, s, family);
101 static RefState getRelinquished(unsigned family, const Stmt *s) {
102 return RefState(Relinquished, s, family);
104 static RefState getEscaped(const RefState *RS) {
105 return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());
297 /// Update the RefState to reflect the new memory allocation.
352 bool(*CheckRefState)(const RefState*)) const;
373 const Expr *DeallocExpr, const RefState *RS,
427 inline bool isAllocated(const RefState *S, const RefState *SPrev,
436 inline bool isReleased(const RefState *S, const RefState *SPrev,
443 inline bool isRelinquished(const RefState *S, const RefState *SPrev,
452 inline bool isReallocFailedCheck(const RefState *S, const RefState *SPrev,
512 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
905 const RefState *RS = State->get<RegionState>(Sym);
909 RefState::getAllocatedOfSizeZero(RS));
1142 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));
1386 const RefState *RsBase = State->get<RegionState>(SymBase);
1454 RefState::getRelinquished(Family,
1458 RefState::getReleased(Family, ParentExpr));
1506 const RefState *RS = C.getState()->get<RegionState>(Sym);
1673 const RefState *RS,
2065 const RefState *RS = C.getState()->get<RegionState>(Sym);
2294 const RefState *RS = C.getState()->get<RegionState>(Sym);
2313 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
2366 if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
2370 RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));
2544 static bool retTrue(const RefState *RS) {
2548 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {
2572 bool(*CheckRefState)(const RefState*)) const {
2591 if (const RefState *RS = State->get<RegionState>(sym)) {
2595 State = State->set<RegionState>(sym, RefState::getEscaped(RS));
2625 const RefState *RS = state->get<RegionState>(Sym);
2626 const RefState *RSPrev = statePrev->get<RegionState>(Sym);
2713 const RefState *RefS = State->get<RegionState>(I.getKey());
