Lines Matching defs:ArgVal

789   void HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, SourceRange Range,
793   void HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
800   void HandleOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
815   void HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
826   /// Test if value in ArgVal equals to value in macro `ZERO_SIZE_PTR`.
828                           SVal ArgVal) const;
2150   SVal ArgVal = ArgValOpt.value_or(C.getSVal(ArgExpr));
2151   if (!isa<DefinedOrUnknownSVal>(ArgVal))
2153   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();
2167   if (ArgVal.isUnknownOrUndef())
2170   const MemRegion *R = ArgVal.getAsRegion();
2190     if (Family.Kind != AF_Malloc || !isArgZERO_SIZE_PTR(State, C, ArgVal))
2191       HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
2200     HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
2216       HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());
2218       HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
2241       HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange());
2272         HandleOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
2280     HandleFunctionPtrFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr,
2461 void MallocChecker::HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal,
2483     const MemRegion *MR = ArgVal.getAsRegion();
2493                          : SummarizeValue(os, ArgVal);
2509 void MallocChecker::HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
2531     R->markInteresting(ArgVal.getAsRegion());
2596 void MallocChecker::HandleOffsetFree(CheckerContext &C, SVal ArgVal,
2623   const MemRegion *MR = ArgVal.getAsRegion();
2783 void MallocChecker::HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal,
2804     const MemRegion *MR = ArgVal.getAsRegion();
3603                                        SVal ArgVal) const {
3609       C.getSValBuilder().getKnownValue(State, ArgVal);