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;
1898 SVal ArgVal = C.getSVal(ArgExpr); in FreeMemAux() local
1899 if (!isa<DefinedOrUnknownSVal>(ArgVal)) in FreeMemAux()
1901 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1915 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
1918 const MemRegion *R = ArgVal.getAsRegion(); in FreeMemAux()
1938 if (Family != AF_Malloc || !isArgZERO_SIZE_PTR(State, C, ArgVal)) in FreeMemAux()
1939 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1948 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1967 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
1969 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1992 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
2023 HandleOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2031 HandleFunctionPtrFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
2201 void MallocChecker::HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, in HandleNonHeapDealloc() argument
2223 const MemRegion *MR = ArgVal.getAsRegion(); in HandleNonHeapDealloc()
2233 : SummarizeValue(os, ArgVal); in HandleNonHeapDealloc()
2249 void MallocChecker::HandleFreeAlloca(CheckerContext &C, SVal ArgVal, in HandleFreeAlloca() argument
2271 R->markInteresting(ArgVal.getAsRegion()); in HandleFreeAlloca()
2334 void MallocChecker::HandleOffsetFree(CheckerContext &C, SVal ArgVal, in HandleOffsetFree() argument
2361 const MemRegion *MR = ArgVal.getAsRegion(); in HandleOffsetFree()
2521 void MallocChecker::HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, in HandleFunctionPtrFree() argument
2542 const MemRegion *MR = ArgVal.getAsRegion(); in HandleFunctionPtrFree()
3327 SVal ArgVal) const { in isArgZERO_SIZE_PTR()
3333 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()