Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ArgVal

368   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
370   void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
375   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
1321   SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
1322   if (!ArgVal.getAs<DefinedOrUnknownSVal>())
1324   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();
1338   if (ArgVal.isUnknownOrUndef())
1341   const MemRegion *R = ArgVal.getAsRegion();
1346     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1354     ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1372       ReportFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());
1374       ReportBadFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr);
1393       ReportFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());
1425         ReportOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
1598 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
1619     const MemRegion *MR = ArgVal.getAsRegion();
1629                          : SummarizeValue(os, ArgVal);
1644 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
1664     R->markInteresting(ArgVal.getAsRegion());
1725 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1752   const MemRegion *MR = ArgVal.getAsRegion();