Home | History | Annotate | Download | only in Checkers

Lines Matching defs:ArgVal

312   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range, 
317   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range, 
963   SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
964   if (!ArgVal.getAs<DefinedOrUnknownSVal>())
966   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();
980   if (ArgVal.isUnknownOrUndef())
983   const MemRegion *R = ArgVal.getAsRegion();
988     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
996     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1013     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1056         ReportOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, 
1212 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal, 
1230     const MemRegion *MR = ArgVal.getAsRegion();
1243                            : SummarizeValue(os, ArgVal);
1300 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1323   const MemRegion *MR = ArgVal.getAsRegion();