Lines Matching defs:RS
234 const Expr *DeallocExpr, const RefState *RS) const;
1199 RegionStateTy RS = state->get<RegionState>();
1203 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {
1208 RS = F.remove(RS, I->first);
1242 C.addTransition(state->set<RegionState>(RS), N);
1331 const RefState *RS = C.getState()->get<RegionState>(Sym);
1332 return (RS && RS->isReleased());
1359 RegionStateTy RS = state->get<RegionState>();
1360 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {
1379 if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
1380 if (RS->isReleased()) {
1383 RefState::getAllocated(RS->getStmt()));
1552 if (const RefState *RS = State->get<RegionState>(sym)) {
1553 if (RS->isAllocated())
1583 const RefState *RS = state->get<RegionState>(Sym);
1585 if (!RS)
1612 if (isAllocated(RS, RSPrev, S)) {
1616 } else if (isReleased(RS, RSPrev, S)) {
1620 } else if (isRelinquished(RS, RSPrev, S)) {
1623 } else if (isReallocFailedCheck(RS, RSPrev, S)) {
1666 RegionStateTy RS = State->get<RegionState>();
1668 if (!RS.isEmpty()) {
1670 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {
