Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp77 !isIteratorType(Call.getArgExpr(0)->getType())) in checkPreCall()
85 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
86 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
107 isIteratorType(Call.getArgExpr(1)->getType()) && in checkPreCall()
108 isIteratorType(Call.getArgExpr(2)->getType())) { in checkPreCall()
128 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
129 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
H A DPthreadLockChecker.cpp357 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquirePthreadLock()
364 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquireXNULock()
371 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryPthreadLock()
377 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryXNULock()
384 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryFuchsiaLock()
390 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryC11Lock()
470 ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in ReleaseAnyLock()
522 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), in DestroyPthreadLock()
529 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics, in DestroyXNULock()
589 InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in InitAnyLock()
H A DGenericTaintChecker.cpp588 const Expr *Arg = Call.getArgExpr(ArgNum); in addFiltersPre()
623 const Expr *Arg = Call.getArgExpr(ArgNum); in propagateFromPre()
691 isTaintedOrPointsToTainted(Call.getArgExpr(ArgNum), State, C))) in process()
700 isTaintedOrPointsToTainted(Call.getArgExpr(i), State, C))) in process()
733 const Expr *Arg = Call.getArgExpr(i); in process()
750 SourceLocation DomLoc = Call.getArgExpr(0)->getExprLoc(); in postSocket()
854 return generateReportIfTainted(Call.getArgExpr(ArgNum), in checkUncontrolledFormatString()
879 return generateReportIfTainted(Call.getArgExpr(ArgNum), MsgSanitizeSystemArgs, in checkSystemCall()
921 generateReportIfTainted(Call.getArgExpr(ArgNum), MsgTaintedBufferSize, in checkTaintedBufferSize()
938 if (generateReportIfTainted(Call.getArgExpr(ArgNum), MsgCustomSink, C)) in checkCustomSinks()
H A DExprInspectionChecker.cpp63 const Expr *getArgExpr(const CallExpr *CE, CheckerContext &C) const;
182 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE, in getArgExpr() function in ExprInspectionChecker
193 const Expr *Arg = getArgExpr(CE, C); in getArgRegion()
249 const Expr *Arg = getArgExpr(CE, C); in analyzerExplain()
260 const Expr *Arg = getArgExpr(CE, C); in analyzerDump()
332 const Expr *Arg = getArgExpr(CE, C); in analyzerWarnOnDeadSymbol()
476 const Expr *Arg = getArgExpr(CE, C); in analyzerExpress()
H A DSmartPtrModeling.cpp267 return isStdSmartPtr(Call.getArgExpr(1)) && in isStdOstreamOperatorCall()
268 isStdBasicOstream(Call.getArgExpr(0)); in isStdOstreamOperatorCall()
274 return smartptr::isStdSmartPtr(Call.getArgExpr(0)) || in isPotentiallyComparisionOpCall()
275 smartptr::isStdSmartPtr(Call.getArgExpr(1)); in isPotentiallyComparisionOpCall()
295 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()
610 assert(Call.getArgExpr(0)->getType()->isPointerType() && in handleReset()
613 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.cpp971 const Expr *FlagsEx = Call.getArgExpr(Call.getNumArgs() - 1); in performKernelMalloc()
997 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1204 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN()
1216 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN0()
1477 FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(), in checkPostObjCMessage()
1496 return MallocMemAux(C, Call, Call.getArgExpr(I->getASTIndex()), in MallocMemReturnsAttr()
1606 return FreeMemAux(C, Call.getArgExpr(Num), Call, State, Hold, in FreeMemAux()
2476 evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in CallocMem()
2699 if (checkUseAfterFree(Sym, C, Call.getArgExpr(I))) in checkPreCall()
3000 const Expr *ArgE = Call->getArgExpr(i)->IgnoreParenCasts(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
[all …]
H A DIteratorModeling.cpp222 if (isIteratorType(Call.getArgExpr(i)->getType()) && in checkPostCall()
223 Call.getArgExpr(i)->getType().getNonReferenceType().getDesugaredType( in checkPostCall()
376 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in handleOverloadedOperator()
382 const Expr *FirstArg = Call.getArgExpr(0); in handleOverloadedOperator()
383 const Expr *SecondArg = Call.getArgExpr(1); in handleOverloadedOperator()
H A DCastValueChecker.cpp210 Object = Call.getArgExpr(0); in addCastTransition()
318 getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), true, in addInstanceOfTransition()
332 getNoteTag(C, CastToTyVec, Call.getArgExpr(0), IsAnyKnown)); in addInstanceOfTransition()
H A DChrootChecker.cpp98 const Expr *ArgExpr = Call.getArgExpr(0); in evalChdir()
H A DStreamChecker.cpp512 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
589 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFread()
614 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFwrite()
717 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
837 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
H A DIteratorRangeChecker.cpp109 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
116 Call.getArgExpr(1)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
H A DObjCSuperDeallocChecker.cpp210 reportUseAfterDealloc(Sym, StringRef(), CE.getArgExpr(I), C); in diagnoseCallArguments()
H A DNonNullParamChecker.cpp133 const Expr *ArgE = Call.getArgExpr(idx); in checkPreCall()
H A DBasicObjCFoundationChecks.cpp202 msg.getArgExpr(Arg), C); in warnIfNilArg()
580 bugreporter::trackExpressionValue(N, Call.getArgExpr(0), *report); in checkPreCall()
750 QualType ArgTy = msg.getArgExpr(I)->getType(); in checkPreObjCMessage()
H A DMoveChecker.cpp475 AFC->getArgExpr(0)->isPRValue()) in checkPostCall()
H A DCallAndMessageChecker.cpp534 Call.getArgExpr(i), i, checkUninitFields, Call, *BT, in checkArgInitializedness()
H A DCheckObjCDealloc.cpp934 if (!M.getArgExpr(0)->getType()->isObjCRetainableType()) in getValueReleasedByNillingOut()
H A DNullabilityChecker.cpp703 const Expr *ArgExpr = Call.getArgExpr(Idx); in checkPreCall()
H A DLocalizationChecker.cpp767 R->addRange(M.getArgExpr(argumentNumber - 1)->getSourceRange()); in reportLocalizationError()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h285 virtual const Expr *getArgExpr(unsigned Index) const { return nullptr; } in getArgExpr() function
541 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
577 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
719 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
761 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
905 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
977 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
983 getArgExpr(Index), in getArgSVal()
1037 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1094 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
[all …]
/freebsd-13.1/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-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp45 const Expr *ArgExpr = Call.getArgExpr(0); in checkPostCall()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp383 const Expr *ArgE = getArgExpr(Index); in getArgSVal()
390 const Expr *ArgE = getArgExpr(Index); in getArgSourceRange()
530 const Expr *ArgExpr = Call.getArgExpr(Idx); in addParameterValuesToBindings()
H A DBugReporterVisitors.cpp1094 const Expr *ArgE = Call->getArgExpr(I); in visitNodeMaybeUnsuppress()
1426 InitE = Call->getArgExpr(Param->getFunctionScopeIndex()); in VisitNode()

12