Lines Matching refs:ArgVal
685 void HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, SourceRange Range,
689 void HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
696 void HandleOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
711 void HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
724 SVal ArgVal) const;
1906 SVal ArgVal = C.getSVal(ArgExpr); in FreeMemAux() local
1907 if (!isa<DefinedOrUnknownSVal>(ArgVal)) in FreeMemAux()
1909 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1923 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
1926 const MemRegion *R = ArgVal.getAsRegion(); in FreeMemAux()
1946 if (Family != AF_Malloc || !isArgZERO_SIZE_PTR(State, C, ArgVal)) in FreeMemAux()
1947 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1956 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1972 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
1974 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1997 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
2028 HandleOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2036 HandleFunctionPtrFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2206 void MallocChecker::HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, in HandleNonHeapDealloc() argument
2228 const MemRegion *MR = ArgVal.getAsRegion(); in HandleNonHeapDealloc()
2238 : SummarizeValue(os, ArgVal); in HandleNonHeapDealloc()
2254 void MallocChecker::HandleFreeAlloca(CheckerContext &C, SVal ArgVal, in HandleFreeAlloca() argument
2276 R->markInteresting(ArgVal.getAsRegion()); in HandleFreeAlloca()
2339 void MallocChecker::HandleOffsetFree(CheckerContext &C, SVal ArgVal, in HandleOffsetFree() argument
2366 const MemRegion *MR = ArgVal.getAsRegion(); in HandleOffsetFree()
2526 void MallocChecker::HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, in HandleFunctionPtrFree() argument
2547 const MemRegion *MR = ArgVal.getAsRegion(); in HandleFunctionPtrFree()
3328 SVal ArgVal) const { in isArgZERO_SIZE_PTR()
3334 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()