Lines Matching defs:RS

92   static RefState getEscaped(const RefState *RS) {
93 return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());
315 const Expr *DeallocExpr, const RefState *RS,
1120 const RefState *RS = C.getState()->get<RegionState>(Sym);
1121 assert(RS);
1122 return isTrackedByCurrentChecker(RS->getAllocationFamily());
1262 const RefState *RS,
1276 const Expr *AllocExpr = cast<Expr>(RS->getStmt());
1287 printExpectedDeallocName(os, RS->getAllocationFamily());
1570 const RefState *RS = C.getState()->get<RegionState>(Sym);
1571 assert(RS && "cannot leak an untracked symbol");
1572 AllocationFamily Family = RS->getAllocationFamily();
1636 RegionStateTy RS = state->get<RegionState>();
1640 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {
1645 RS = F.remove(RS, I->first);
1679 C.addTransition(state->set<RegionState>(RS), N);
1786 const RefState *RS = C.getState()->get<RegionState>(Sym);
1787 return (RS && RS->isReleased());
1814 RegionStateTy RS = state->get<RegionState>();
1815 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {
1834 if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
1835 if (RS->isReleased()) {
1838 RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));
2001 static bool retTrue(const RefState *RS) {
2005 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {
2006 return (RS->getAllocationFamily() == AF_CXXNewArray ||
2007 RS->getAllocationFamily() == AF_CXXNew);
2048 if (const RefState *RS = State->get<RegionState>(sym)) {
2049 if (RS->isAllocated() && CheckRefState(RS)) {
2051 State = State->set<RegionState>(sym, RefState::getEscaped(RS));
2081 const RefState *RS = state->get<RegionState>(Sym);
2083 if (!RS)
2110 if (isAllocated(RS, RSPrev, S)) {
2114 } else if (isReleased(RS, RSPrev, S)) {
2118 } else if (isRelinquished(RS, RSPrev, S)) {
2121 } else if (isReallocFailedCheck(RS, RSPrev, S)) {
2164 RegionStateTy RS = State->get<RegionState>();
2166 if (!RS.isEmpty()) {
2168 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {