1386   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()  local
1389   if (RsBase) {  in FreeMemAux()
1392     if (RsBase->getAllocationFamily() == AF_Alloca) {  in FreeMemAux()
1398     if ((RsBase->isReleased() || RsBase->isRelinquished()) &&  in FreeMemAux()
1400       ReportDoubleFree(C, ParentExpr->getSourceRange(), RsBase->isReleased(),  in FreeMemAux()
1406     } else if (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero() ||  in FreeMemAux()
1407                RsBase->isEscaped()) {  in FreeMemAux()
1411         RsBase->getAllocationFamily() == getAllocationFamily(C, ParentExpr);  in FreeMemAux()
1414                                 ParentExpr, RsBase, SymBase, Hold);  in FreeMemAux()
1424         const Expr *AllocExpr = cast<Expr>(RsBase->getStmt());  in FreeMemAux()
1432   ReleasedAllocated = (RsBase != nullptr) && (RsBase->isAllocated() ||  in FreeMemAux()
1433                                               RsBase->isAllocatedOfSizeZero());  in FreeMemAux()
1449   AllocationFamily Family = RsBase ? RsBase->getAllocationFamily()  in FreeMemAux()