Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

Lines Matching refs:ArgVal
329   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range, 
334   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range, 
1073   SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
1074   if (!ArgVal.getAs<DefinedOrUnknownSVal>())
1076   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();
1090   if (ArgVal.isUnknownOrUndef())
1093   const MemRegion *R = ArgVal.getAsRegion();
1098     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1106     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1123     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1166         ReportOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, 
1327 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal, 
1349     const MemRegion *MR = ArgVal.getAsRegion();
1362                            : SummarizeValue(os, ArgVal);
1433 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1460   const MemRegion *MR = ArgVal.getAsRegion();
OpenGrok
