Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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.cpp1544 DestinationArgExpr Dest = {{Call.getArgExpr(0), 0}}; in evalMemcpy()
1545 SourceArgExpr Src = {{Call.getArgExpr(1), 1}}; in evalMemcpy()
1546 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMemcpy()
1559 DestinationArgExpr Dest = {{Call.getArgExpr(0), 0}}; in evalMempcpy()
1560 SourceArgExpr Src = {{Call.getArgExpr(1), 1}}; in evalMempcpy()
1561 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMempcpy()
1573 DestinationArgExpr Dest = {{Call.getArgExpr(0), 0}}; in evalMemmove()
1574 SourceArgExpr Src = {{Call.getArgExpr(1), 1}}; in evalMemmove()
1575 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMemmove()
1585 SourceArgExpr Src{{Call.getArgExpr(0), 0}}; in evalBcopy()
[all …]
H A DPthreadLockChecker.cpp388 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquirePthreadLock()
395 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquireXNULock()
402 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryPthreadLock()
408 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryXNULock()
415 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryFuchsiaLock()
421 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryC11Lock()
501 ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in ReleaseAnyLock()
553 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), in DestroyPthreadLock()
560 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics, in DestroyXNULock()
620 InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in InitAnyLock()
H A DUnixAPIChecker.cpp240 const Expr *Arg = Call.getArgExpr(CreateModeArgIndex); in CheckOpenVariant()
261 Call.getArgExpr(MaxArgCount)->getSourceRange()); in CheckOpenVariant()
270 const Expr *oflagsEx = Call.getArgExpr(FlagsArgIndex); in CheckOpenVariant()
377 State = EnsurePtrNotNull(SizePtrSval, Call.getArgExpr(1), C, State, "Size"); in CheckGetDelim()
384 EnsurePtrNotNull(LinePtrPtrSVal, Call.getArgExpr(0), C, State, "Line"); in CheckGetDelim()
389 Call.getArgExpr(0), in CheckGetDelim()
390 Call.getArgExpr(1), C, State); in CheckGetDelim()
435 report->addRange(Call.getArgExpr(0)->getSourceRange()); in CheckPthreadOnce()
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.cpp141 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); in checkPreCall()
311 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall()
319 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall()
358 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListEndCall()
H A DMallocChecker.cpp1098 const Expr *FlagsEx = Call.getArgExpr(Call.getNumArgs() - 1); in performKernelMalloc()
1124 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1145 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1159 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1224 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1307 State = MallocMemAux(C, Call, Call.getArgExpr(0), zeroVal, State, AF_Malloc); in checkGMalloc0()
1316 MallocMemAux(C, Call, Call.getArgExpr(1), UnknownVal(), State, AF_Malloc); in checkGMemdup()
1325 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN()
1337 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN0()
1367 State = FreeMemAux(C, Call.getArgExpr(0), Call, State, false, in preGetdelim()
[all …]
H A DPutenvStackArrayChecker.cpp46 const Expr *ArgExpr = Call.getArgExpr(0); in checkPostCall()
H A DIteratorModeling.cpp222 if (isIteratorType(Call.getArgExpr(i)->getType()) && in checkPostCall()
223 Call.getArgExpr(i)->getType().getNonReferenceType().getDesugaredType( in checkPostCall()
373 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in handleOverloadedOperator()
379 const Expr *FirstArg = Call.getArgExpr(0); in handleOverloadedOperator()
380 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.cpp100 const Expr *ArgExpr = Call.getArgExpr(0); in evalChdir()
H A DIteratorRangeChecker.cpp108 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
115 Call.getArgExpr(1)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
H A DSetgidSetuidOrderChecker.cpp172 dyn_cast<CallExpr>(Call.getArgExpr(0)->IgnoreParenImpCasts())) in isFunctionCalledInArg()
H A DObjCSuperDeallocChecker.cpp211 reportUseAfterDealloc(Sym, StringRef(), CE.getArgExpr(I), C); in diagnoseCallArguments()
H A DBasicObjCFoundationChecks.cpp213 msg.getArgExpr(Arg), C); in warnIfNilArg()
585 bugreporter::trackExpressionValue(N, Call.getArgExpr(0), *report); in checkPreCall()
755 QualType ArgTy = msg.getArgExpr(I)->getType(); in checkPreObjCMessage()
H A DGenericTaintChecker.cpp303 : Call.getArgExpr(ArgIdx); in GetArgExpr()
1100 return generateReportIfTainted(Call.getArgExpr(ArgNum), in checkUncontrolledFormatString()
1114 SourceLocation DomLoc = Call.getArgExpr(0)->getExprLoc(); in taintUnsafeSocketProtocol()
H A DStreamChecker.cpp924 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
998 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preRead()
1023 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preWrite()
1468 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
1746 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
H A DMoveChecker.cpp476 AFC->getArgExpr(0)->isPRValue()) in checkPostCall()
H A DCheckObjCDealloc.cpp925 if (!M.getArgExpr(0)->getType()->isObjCRetainableType()) in getValueReleasedByNillingOut()
H A DNullabilityChecker.cpp787 const Expr *ArgExpr = Call.getArgExpr(Idx); in checkPreCall()
H A DLocalizationChecker.cpp763 R->addRange(M.getArgExpr(argumentNumber - 1)->getSourceRange()); in reportLocalizationError()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h293 virtual const Expr *getArgExpr(unsigned Index) const { return nullptr; } in getArgExpr() function
559 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
596 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
754 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
810 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
853 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1016 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1089 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1095 getArgExpr(Index), in getArgSVal()
1163 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
[all …]
/freebsd/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/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()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp300 Call.getArgExpr(I)->printPretty(Out, /*Helper=*/nullptr, in checkPostCall()

12