Lines Matching refs:RS
179 static RefState getAllocatedOfSizeZero(const RefState *RS) { in getAllocatedOfSizeZero() argument
180 return RefState(AllocatedOfSizeZero, RS->getStmt(), in getAllocatedOfSizeZero()
181 RS->getAllocationFamily()); in getAllocatedOfSizeZero()
189 static RefState getEscaped(const RefState *RS) { in getEscaped() argument
190 return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily()); in getEscaped()
707 const Expr *DeallocExpr, const RefState *RS,
1552 const RefState *RS = State->get<RegionState>(Sym); in ProcessZeroAllocCheck() local
1553 if (RS) { in ProcessZeroAllocCheck()
1554 if (RS->isAllocated()) in ProcessZeroAllocCheck()
1556 RefState::getAllocatedOfSizeZero(RS)); in ProcessZeroAllocCheck()
2118 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked() local
2119 assert(RS); in getCheckIfTracked()
2120 return getCheckIfTracked(RS->getAllocationFamily(), IsALeakCheck); in getCheckIfTracked()
2289 const RefState *RS, SymbolRef Sym, in HandleMismatchedDealloc() argument
2306 const Expr *AllocExpr = cast<Expr>(RS->getStmt()); in HandleMismatchedDealloc()
2328 printExpectedDeallocName(os, RS->getAllocationFamily()); in HandleMismatchedDealloc()
2743 const RefState *RS = C.getState()->get<RegionState>(Sym); in HandleLeak() local
2744 assert(RS && "cannot leak an untracked symbol"); in HandleLeak()
2745 AllocationFamily Family = RS->getAllocationFamily(); in HandleLeak()
2808 RegionStateTy RS = OldRS; in checkDeadSymbols() local
2810 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) { in checkDeadSymbols()
2815 RS = F.remove(RS, I->first); in checkDeadSymbols()
2819 if (RS == OldRS) { in checkDeadSymbols()
2859 C.addTransition(state->set<RegionState>(RS), N); in checkDeadSymbols()
3002 const RefState *RS = C.getState()->get<RegionState>(Sym); in isReleased() local
3003 return (RS && RS->isReleased()); in isReleased()
3028 if (const RefState *RS = State->get<RegionState>(Sym)) in suppressDeallocationsInSuspiciousContexts() local
3029 State = State->set<RegionState>(Sym, RefState::getEscaped(RS)); in suppressDeallocationsInSuspiciousContexts()
3050 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { in checkUseZeroAllocated() local
3051 if (RS->isAllocatedOfSizeZero()) in checkUseZeroAllocated()
3052 HandleUseZeroAlloc(C, RS->getStmt()->getSourceRange(), Sym); in checkUseZeroAllocated()
3083 RegionStateTy RS = state->get<RegionState>(); in evalAssume() local
3084 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) { in evalAssume()
3103 if (const RefState *RS = state->get<RegionState>(ReallocSym)) { in evalAssume() local
3104 if (RS->isReleased()) { in evalAssume()
3108 RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt())); in evalAssume()
3300 static bool checkIfNewOrNewArrayFamily(const RefState *RS) { in checkIfNewOrNewArrayFamily() argument
3301 return (RS->getAllocationFamily() == AF_CXXNewArray || in checkIfNewOrNewArrayFamily()
3302 RS->getAllocationFamily() == AF_CXXNew); in checkIfNewOrNewArrayFamily()
3327 if (const RefState *RS = State->get<RegionState>(sym)) in checkPointerEscapeAux() local
3328 if (RS->isAllocated() || RS->isAllocatedOfSizeZero()) in checkPointerEscapeAux()
3329 if (!IsConstPointerEscape || checkIfNewOrNewArrayFamily(RS)) in checkPointerEscapeAux()
3330 State = State->set<RegionState>(sym, RefState::getEscaped(RS)); in checkPointerEscapeAux()
3566 RegionStateTy RS = State->get<RegionState>(); in printState() local
3568 if (!RS.isEmpty()) { in printState()
3570 for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) { in printState()