Lines Matching refs:RsBase
1781 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux() local
1785 RsBase && (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero()); in FreeMemAux()
1787 if (RsBase) { in FreeMemAux()
1790 if (RsBase->getAllocationFamily() == AF_Alloca) { in FreeMemAux()
1796 if ((RsBase->isReleased() || RsBase->isRelinquished()) && in FreeMemAux()
1798 HandleDoubleFree(C, ParentExpr->getSourceRange(), RsBase->isReleased(), in FreeMemAux()
1804 } else if (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero() || in FreeMemAux()
1805 RsBase->isEscaped()) { in FreeMemAux()
1808 bool DeallocMatchesAlloc = RsBase->getAllocationFamily() == Family; in FreeMemAux()
1811 RsBase, SymBase, Hold); in FreeMemAux()
1821 const Expr *AllocExpr = cast<Expr>(RsBase->getStmt()); in FreeMemAux()
1853 assert(!RsBase || (RsBase && RsBase->getAllocationFamily() == Family)); in FreeMemAux()