Home
last modified time | relevance | path

Searched refs:getArgExpr (Results 1 – 25 of 29) sorted by relevance

12

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp67 !isIteratorType(Call.getArgExpr(0)->getType())) in checkPreCall()
75 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
76 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
97 isIteratorType(Call.getArgExpr(1)->getType()) && in checkPreCall()
98 isIteratorType(Call.getArgExpr(2)->getType())) { in checkPreCall()
118 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
119 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
H A DExprInspectionChecker.cpp187 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE, in getArgExpr() function in ExprInspectionChecker
198 const Expr *Arg = getArgExpr(CE, C); in getArgRegion()
254 const Expr *Arg = getArgExpr(CE, C); in analyzerExplain()
289 const Expr *Arg = getArgExpr(CE, C); in analyzerValue()
304 const Expr *Arg = getArgExpr(CE, C); in analyzerDumpSValType()
314 const Expr *Arg = getArgExpr(CE, C); in analyzerDump()
324 const Expr *Arg = getArgExpr(CE, C); in analyzerGetExtent()
337 const Expr *Arg = getArgExpr(CE, C); in analyzerDumpExtent()
362 C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy); in analyzerDumpElementCount()
373 const Expr *Arg = getArgExpr(CE, C); in analyzerWarnOnDeadSymbol()
[all …]
H A DStringChecker.cpp52 const QualType Arg1Ty = Call.getArgExpr(0)->getType().getCanonicalType(); in isCharToStringCtor()
53 const QualType Arg2Ty = Call.getArgExpr(1)->getType().getCanonicalType(); in isCharToStringCtor()
94 bugreporter::trackExpressionValue(N, Call.getArgExpr(0), *R); in checkPreCall()
H A DCStringChecker.cpp1398 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMemcpy()
1413 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMempcpy()
1427 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMemmove()
1437 SourceArgExpr Src{{Call.getArgExpr(0), 0}}; in evalBcopy()
1452 AnyArgExpr Left = {Call.getArgExpr(0), 0}; in evalMemcmp()
1453 AnyArgExpr Right = {Call.getArgExpr(1), 1}; in evalMemcmp()
1565 AnyArgExpr Arg = {Call.getArgExpr(0), 0}; in evalstrLengthCommon()
2149 AnyArgExpr Left = {Call.getArgExpr(0), 0}; in evalStrcmpCommon()
2156 AnyArgExpr Right = {Call.getArgExpr(1), 1}; in evalStrcmpCommon()
2358 const Expr *Dst = Call.getArgExpr(2); in evalStdCopyCommon()
[all …]
H A DPthreadLockChecker.cpp359 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquirePthreadLock()
366 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquireXNULock()
373 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryPthreadLock()
379 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryXNULock()
386 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryFuchsiaLock()
392 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryC11Lock()
472 ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in ReleaseAnyLock()
524 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), in DestroyPthreadLock()
531 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics, in DestroyXNULock()
591 InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in InitAnyLock()
H A DSmartPtrModeling.cpp265 return isStdSmartPtr(Call.getArgExpr(1)) && in isStdOstreamOperatorCall()
266 isStdBasicOstream(Call.getArgExpr(0)); in isStdOstreamOperatorCall()
272 return smartptr::isStdSmartPtr(Call.getArgExpr(0)) || in isPotentiallyComparisionOpCall()
273 smartptr::isStdSmartPtr(Call.getArgExpr(1)); in isPotentiallyComparisionOpCall()
293 const Expr *FirstArg = Call.getArgExpr(0); in evalCall()
404 const auto *TrackingExpr = Call.getArgExpr(0); in evalCall()
485 const auto *FirstExpr = Call.getArgExpr(0); in handleComparisionOp()
486 const auto *SecondExpr = Call.getArgExpr(1); in handleComparisionOp()
609 assert(Call.getArgExpr(0)->getType()->isPointerType() && in handleReset()
612 const auto *TrackingExpr = Call.getArgExpr(0); in handleReset()
H A DValistChecker.cpp142 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); in checkPreCall()
312 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall()
320 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall()
359 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListEndCall()
H A DMallocChecker.cpp1174 const Expr *FlagsEx = Call.getArgExpr(Call.getNumArgs() - 1); in performKernelMalloc()
1200 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1221 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1407 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN()
1419 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN0()
1680 FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(), in checkPostObjCMessage()
1815 return FreeMemAux(C, Call.getArgExpr(Num), Call, State, Hold, in FreeMemAux()
2686 evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in CallocMem()
2908 if (checkUseAfterFree(Sym, C, Call.getArgExpr(I))) in checkPreCall()
3207 const Expr *ArgE = Call->getArgExpr(i)->IgnoreParenCasts(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
[all …]
H A DIteratorModeling.cpp221 if (isIteratorType(Call.getArgExpr(i)->getType()) && in checkPostCall()
222 Call.getArgExpr(i)->getType().getNonReferenceType().getDesugaredType( in checkPostCall()
372 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in handleOverloadedOperator()
378 const Expr *FirstArg = Call.getArgExpr(0); in handleOverloadedOperator()
379 const Expr *SecondArg = Call.getArgExpr(1); in handleOverloadedOperator()
H A DCastValueChecker.cpp211 Object = Call.getArgExpr(0); in addCastTransition()
319 getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), true, in addInstanceOfTransition()
333 getNoteTag(C, CastToTyVec, Call.getArgExpr(0), IsAnyKnown)); in addInstanceOfTransition()
H A DChrootChecker.cpp99 const Expr *ArgExpr = Call.getArgExpr(0); in evalChdir()
H A DIteratorRangeChecker.cpp103 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
110 Call.getArgExpr(1)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
H A DObjCSuperDeallocChecker.cpp211 reportUseAfterDealloc(Sym, StringRef(), CE.getArgExpr(I), C); in diagnoseCallArguments()
H A DNonNullParamChecker.cpp135 const Expr *ArgE = Call.getArgExpr(idx); in checkPreCall()
H A DBasicObjCFoundationChecks.cpp213 msg.getArgExpr(Arg), C); in warnIfNilArg()
589 bugreporter::trackExpressionValue(N, Call.getArgExpr(0), *report); in checkPreCall()
759 QualType ArgTy = msg.getArgExpr(I)->getType(); in checkPreObjCMessage()
H A DGenericTaintChecker.cpp317 : Call.getArgExpr(ArgIdx); in GetArgExpr()
1081 return generateReportIfTainted(Call.getArgExpr(ArgNum), in checkUncontrolledFormatString()
1095 SourceLocation DomLoc = Call.getArgExpr(0)->getExprLoc(); in taintUnsafeSocketProtocol()
H A DStreamChecker.cpp608 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
700 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preReadWrite()
1155 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
1411 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
H A DMoveChecker.cpp476 AFC->getArgExpr(0)->isPRValue()) in checkPostCall()
H A DCallAndMessageChecker.cpp533 Call.getArgExpr(i), i, checkUninitFields, Call, *BT, in checkArgInitializedness()
H A DCheckObjCDealloc.cpp925 if (!M.getArgExpr(0)->getType()->isObjCRetainableType()) in getValueReleasedByNillingOut()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h292 virtual const Expr *getArgExpr(unsigned Index) const { return nullptr; } in getArgExpr() function
558 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
595 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
738 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
781 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
944 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1017 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1023 getArgExpr(Index), in getArgSVal()
1091 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1149 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp166 CE.getArgExpr(1)->getType()->getPointeeType()); in allRegionsUsedByWait()
174 CE.getArgExpr(1)->getType()->getPointeeType(), Idx, SuperRegion, in allRegionsUsedByWait()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp46 const Expr *ArgExpr = Call.getArgExpr(0); in checkPostCall()
H A DInvalidPtrChecker.cpp295 Call.getArgExpr(I)->printPretty(Out, /*Helper=*/nullptr, in checkPostCall()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp309 const Expr *ArgE = getArgExpr(Index); in getArgSVal()
316 const Expr *ArgE = getArgExpr(Index); in getArgSourceRange()
456 const Expr *ArgExpr = Call.getArgExpr(ArgIdx); in castArgToParamTypeIfNeeded()
485 const Expr *ArgExpr = Call.getArgExpr(Idx); in addParameterValuesToBindings()

12