407   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
409   void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
414   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
427   void ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,
1491   SVal ArgVal = C.getSVal(ArgExpr);  in FreeMemAux()  local
1492   if (!ArgVal.getAs<DefinedOrUnknownSVal>())  in FreeMemAux()
1494   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();  in FreeMemAux()
1508   if (ArgVal.isUnknownOrUndef())  in FreeMemAux()
1511   const MemRegion *R = ArgVal.getAsRegion();  in FreeMemAux()
1516     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1524     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1542       ReportFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());  in FreeMemAux()
1544       ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1563       ReportFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());  in FreeMemAux()
1595         ReportOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,  in FreeMemAux()
1603     ReportFunctionPointerFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);  in FreeMemAux()
1777 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,  in ReportBadFree()  argument
1798     const MemRegion *MR = ArgVal.getAsRegion();  in ReportBadFree()
1808                          : SummarizeValue(os, ArgVal);  in ReportBadFree()
1823 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,  in ReportFreeAlloca()  argument
1843     R->markInteresting(ArgVal.getAsRegion());  in ReportFreeAlloca()
1904 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,  in ReportOffsetFree()  argument
1931   const MemRegion *MR = ArgVal.getAsRegion();  in ReportOffsetFree()
2084 void MallocChecker::ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,  in ReportFunctionPointerFree()  argument
2102     const MemRegion *MR = ArgVal.getAsRegion();  in ReportFunctionPointerFree()