Searched refs:RsBase (Results 1 – 1 of 1) sorted by relevance
1781 const RefState *RsBase = State->get<RegionState>(SymBase); in FreeMemAux() local1785 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()[all …]