365   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
367   void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
372   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
1313   SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());  in FreeMemAux()  local
1314   if (!ArgVal.getAs<DefinedOrUnknownSVal>())  in FreeMemAux()
1316   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();  in FreeMemAux()
1330   if (ArgVal.isUnknownOrUndef())  in FreeMemAux()
1333   const MemRegion *R = ArgVal.getAsRegion();  in FreeMemAux()
1338     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1346     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1364       ReportFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());  in FreeMemAux()
1366       ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1385       ReportFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());  in FreeMemAux()
1417         ReportOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,  in FreeMemAux()
1590 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,  in ReportBadFree()  argument
1611     const MemRegion *MR = ArgVal.getAsRegion();  in ReportBadFree()
1621                          : SummarizeValue(os, ArgVal);  in ReportBadFree()
1636 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,  in ReportFreeAlloca()  argument
1656     R->markInteresting(ArgVal.getAsRegion());  in ReportFreeAlloca()
1717 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,  in ReportOffsetFree()  argument
1744   const MemRegion *MR = ArgVal.getAsRegion();  in ReportOffsetFree()