Lines Matching refs:RsBase
1987 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux() local
1991 RsBase && (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero()); in FreeMemAux()
1993 if (RsBase) { in FreeMemAux()
1996 if (RsBase->getAllocationFamily() == AF_Alloca) { in FreeMemAux()
2002 if ((RsBase->isReleased() || RsBase->isRelinquished()) && in FreeMemAux()
2004 HandleDoubleFree(C, ParentExpr->getSourceRange(), RsBase->isReleased(), in FreeMemAux()
2010 } else if (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero() || in FreeMemAux()
2011 RsBase->isEscaped()) { in FreeMemAux()
2014 bool DeallocMatchesAlloc = RsBase->getAllocationFamily() == Family; in FreeMemAux()
2017 RsBase, SymBase, Hold); in FreeMemAux()
2027 const Expr *AllocExpr = cast<Expr>(RsBase->getStmt()); in FreeMemAux()
2059 assert(!RsBase || (RsBase && RsBase->getAllocationFamily() == Family)); in FreeMemAux()