Lines Matching refs:ArgVal
699 void HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, SourceRange Range,
703 void HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
710 void HandleOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
725 void HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
738 SVal ArgVal) const;
1909 SVal ArgVal = C.getSVal(ArgExpr); in FreeMemAux() local
1910 if (!isa<DefinedOrUnknownSVal>(ArgVal)) in FreeMemAux()
1912 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1926 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
1929 const MemRegion *R = ArgVal.getAsRegion(); in FreeMemAux()
1949 if (Family != AF_Malloc || !isArgZERO_SIZE_PTR(State, C, ArgVal)) in FreeMemAux()
1950 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1959 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1978 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
1980 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2003 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
2034 HandleOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2042 HandleFunctionPtrFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2210 void MallocChecker::HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, in HandleNonHeapDealloc() argument
2232 const MemRegion *MR = ArgVal.getAsRegion(); in HandleNonHeapDealloc()
2242 : SummarizeValue(os, ArgVal); in HandleNonHeapDealloc()
2258 void MallocChecker::HandleFreeAlloca(CheckerContext &C, SVal ArgVal, in HandleFreeAlloca() argument
2280 R->markInteresting(ArgVal.getAsRegion()); in HandleFreeAlloca()
2343 void MallocChecker::HandleOffsetFree(CheckerContext &C, SVal ArgVal, in HandleOffsetFree() argument
2370 const MemRegion *MR = ArgVal.getAsRegion(); in HandleOffsetFree()
2530 void MallocChecker::HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, in HandleFunctionPtrFree() argument
2551 const MemRegion *MR = ArgVal.getAsRegion(); in HandleFunctionPtrFree()
3336 SVal ArgVal) const { in isArgZERO_SIZE_PTR()
3342 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()