1374   const RefState *RsBase = State->get<RegionState>(SymBase);  in FreeMemAux()  local
1377   if (RsBase) {  in FreeMemAux()
1380     if (RsBase->getAllocationFamily() == AF_Alloca) {  in FreeMemAux()
1386     if ((RsBase->isReleased() || RsBase->isRelinquished()) &&  in FreeMemAux()
1388       ReportDoubleFree(C, ParentExpr->getSourceRange(), RsBase->isReleased(),  in FreeMemAux()
1394     } else if (RsBase->isAllocated() || RsBase->isAllocatedOfSizeZero() ||   in FreeMemAux()
1395                RsBase->isEscaped()) {  in FreeMemAux()
1399         RsBase->getAllocationFamily() == getAllocationFamily(C, ParentExpr);  in FreeMemAux()
1402                                 ParentExpr, RsBase, SymBase, Hold);  in FreeMemAux()
1412         const Expr *AllocExpr = cast<Expr>(RsBase->getStmt());  in FreeMemAux()
1420   ReleasedAllocated = (RsBase != nullptr) && (RsBase->isAllocated() ||   in FreeMemAux()
1421                                               RsBase->isAllocatedOfSizeZero());  in FreeMemAux()
1437   AllocationFamily Family = RsBase ? RsBase->getAllocationFamily()  in FreeMemAux()