Lines Matching refs:RsBase
2286 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux() local
2290 RsBase && (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero()); in FreeMemAux()
2292 if (RsBase) { in FreeMemAux()
2295 if (RsBase->getAllocationFamily().Kind == AF_Alloca) { in FreeMemAux()
2301 if ((RsBase->isReleased() || RsBase->isRelinquished()) && in FreeMemAux()
2303 HandleDoubleFree(C, ParentExpr->getSourceRange(), RsBase->isReleased(), in FreeMemAux()
2310 if (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero() || in FreeMemAux()
2311 RsBase->isEscaped()) { in FreeMemAux()
2314 bool DeallocMatchesAlloc = RsBase->getAllocationFamily() == Family; in FreeMemAux()
2317 RsBase, SymBase, Hold); in FreeMemAux()
2327 const Expr *AllocExpr = cast<Expr>(RsBase->getStmt()); in FreeMemAux()
2359 assert(!RsBase || (RsBase && RsBase->getAllocationFamily() == Family)); in FreeMemAux()