Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/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 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 DPthreadLockChecker.cpp358 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquirePthreadLock()
365 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquireXNULock()
372 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryPthreadLock()
378 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryXNULock()
385 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryFuchsiaLock()
391 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryC11Lock()
471 ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in ReleaseAnyLock()
523 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), in DestroyPthreadLock()
530 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics, in DestroyXNULock()
590 InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in InitAnyLock()
H A DExprInspectionChecker.cpp66 const Expr *getArgExpr(const CallExpr *CE, CheckerContext &C) const;
188 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE, in getArgExpr() function in ExprInspectionChecker
199 const Expr *Arg = getArgExpr(CE, C); in getArgRegion()
255 const Expr *Arg = getArgExpr(CE, C); in analyzerExplain()
290 const Expr *Arg = getArgExpr(CE, C); in analyzerValue()
305 const Expr *Arg = getArgExpr(CE, C); in analyzerDumpSValType()
315 const Expr *Arg = getArgExpr(CE, C); in analyzerDump()
375 const Expr *Arg = getArgExpr(CE, C); in analyzerWarnOnDeadSymbol()
527 const Expr *Arg = getArgExpr(CE, C); in analyzerExpress()
H A DSmartPtrModeling.cpp264 return isStdSmartPtr(Call.getArgExpr(1)) && in isStdOstreamOperatorCall()
265 isStdBasicOstream(Call.getArgExpr(0)); in isStdOstreamOperatorCall()
271 return smartptr::isStdSmartPtr(Call.getArgExpr(0)) || in isPotentiallyComparisionOpCall()
272 smartptr::isStdSmartPtr(Call.getArgExpr(1)); in isPotentiallyComparisionOpCall()
292 const Expr *FirstArg = Call.getArgExpr(0); in evalCall()
402 const auto *TrackingExpr = Call.getArgExpr(0); in evalCall()
483 const auto *FirstExpr = Call.getArgExpr(0); in handleComparisionOp()
484 const auto *SecondExpr = Call.getArgExpr(1); in handleComparisionOp()
608 assert(Call.getArgExpr(0)->getType()->isPointerType() && in handleReset()
611 const auto *TrackingExpr = Call.getArgExpr(0); in handleReset()
H A DValistChecker.cpp143 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); in checkPreCall()
313 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall()
321 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall()
360 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListEndCall()
H A DMallocChecker.cpp1182 const Expr *FlagsEx = Call.getArgExpr(Call.getNumArgs() - 1); in performKernelMalloc()
1209 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1416 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN()
1428 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN0()
1689 FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(), in checkPostObjCMessage()
1708 return MallocMemAux(C, Call, Call.getArgExpr(I->getASTIndex()), in MallocMemReturnsAttr()
1818 return FreeMemAux(C, Call.getArgExpr(Num), Call, State, Hold, in FreeMemAux()
2690 evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in CallocMem()
2915 if (checkUseAfterFree(Sym, C, Call.getArgExpr(I))) in checkPreCall()
3216 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()
375 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in handleOverloadedOperator()
381 const Expr *FirstArg = Call.getArgExpr(0); in handleOverloadedOperator()
382 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 DStreamChecker.cpp513 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
591 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFread()
616 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFwrite()
714 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
834 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 DGenericTaintChecker.cpp250 : Call.getArgExpr(ArgIdx); in GetArgExpr()
957 return generateReportIfTainted(Call.getArgExpr(ArgNum), in checkUncontrolledFormatString()
971 SourceLocation DomLoc = Call.getArgExpr(0)->getExprLoc(); in taintUnsafeSocketProtocol()
H A DBasicObjCFoundationChecks.cpp203 msg.getArgExpr(Arg), C); in warnIfNilArg()
578 bugreporter::trackExpressionValue(N, Call.getArgExpr(0), *report); in checkPreCall()
748 QualType ArgTy = msg.getArgExpr(I)->getType(); in checkPreObjCMessage()
H A DMoveChecker.cpp474 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()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h283 virtual const Expr *getArgExpr(unsigned Index) const { return nullptr; } in getArgExpr() function
540 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
576 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
718 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
760 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
904 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
976 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
982 getArgExpr(Index), in getArgSVal()
1036 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1093 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
[all …]
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp46 const Expr *ArgExpr = Call.getArgExpr(0); in checkPostCall()
H A DInvalidPtrChecker.cpp215 Call.getArgExpr(I)->printPretty(Out, /*Helper=*/nullptr, in checkPostCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp307 const Expr *ArgE = getArgExpr(Index); in getArgSVal()
314 const Expr *ArgE = getArgExpr(Index); in getArgSourceRange()
451 const Expr *ArgExpr = Call.getArgExpr(Idx); in addParameterValuesToBindings()

12