StaticAnalyzer/Checkers/MallocChecker.cpp

306   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
311   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
957   SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
958   if (!ArgVal.getAs<DefinedOrUnknownSVal>())
960   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();
974   if (ArgVal.isUnknownOrUndef())
977   const MemRegion *R = ArgVal.getAsRegion();
982     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
990     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1007     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1050         ReportOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
1206 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
1224     const MemRegion *MR = ArgVal.getAsRegion();
1237                            : SummarizeValue(os, ArgVal);
1294 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1317   const MemRegion *MR = ArgVal.getAsRegion();