Lines Matching refs:ArgVal
684 void HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, SourceRange Range,
688 void HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
695 void HandleOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
710 void HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
723 SVal ArgVal) const;
1697 SVal ArgVal = C.getSVal(ArgExpr); in FreeMemAux() local
1698 if (!ArgVal.getAs<DefinedOrUnknownSVal>()) in FreeMemAux()
1700 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1714 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
1717 const MemRegion *R = ArgVal.getAsRegion(); in FreeMemAux()
1737 if (Family != AF_Malloc || !isArgZERO_SIZE_PTR(State, C, ArgVal)) in FreeMemAux()
1738 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1747 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1766 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
1768 HandleNonHeapDealloc(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1791 HandleFreeAlloca(C, ArgVal, ArgExpr->getSourceRange()); in FreeMemAux()
1822 HandleOffsetFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1830 HandleFunctionPtrFree(C, ArgVal, ArgExpr->getSourceRange(), ParentExpr, in FreeMemAux()
1998 void MallocChecker::HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, in HandleNonHeapDealloc() argument
2020 const MemRegion *MR = ArgVal.getAsRegion(); in HandleNonHeapDealloc()
2030 : SummarizeValue(os, ArgVal); in HandleNonHeapDealloc()
2046 void MallocChecker::HandleFreeAlloca(CheckerContext &C, SVal ArgVal, in HandleFreeAlloca() argument
2068 R->markInteresting(ArgVal.getAsRegion()); in HandleFreeAlloca()
2131 void MallocChecker::HandleOffsetFree(CheckerContext &C, SVal ArgVal, in HandleOffsetFree() argument
2158 const MemRegion *MR = ArgVal.getAsRegion(); in HandleOffsetFree()
2317 void MallocChecker::HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, in HandleFunctionPtrFree() argument
2338 const MemRegion *MR = ArgVal.getAsRegion(); in HandleFunctionPtrFree()
3120 SVal ArgVal) const { in isArgZERO_SIZE_PTR()
3126 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()