Home
last modified time | relevance | path

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

12

/freebsd/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()
95 isIteratorType(Call.getArgExpr(0)->getType()) && in checkPreCall()
96 isIteratorType(Call.getArgExpr(1)->getType())) { in checkPreCall()
102 isIteratorType(Call.getArgExpr(1)->getType()) && in checkPreCall()
103 isIteratorType(Call.getArgExpr(2)->getType())) { in checkPreCall()
124 if (!isIteratorType(Call.getArgExpr(0)->getType()) || in checkPreCall()
125 !isIteratorType(Call.getArgExpr(1)->getType())) in checkPreCall()
H A DExprInspectionChecker.cpp67 const Expr *getArgExpr(const CallExpr *CE, CheckerContext &C) const;
187 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE, in getArgExpr() function in ExprInspectionChecker
198 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()
325 const Expr *Arg = getArgExpr(CE, C); in analyzerGetExtent()
338 const Expr *Arg = getArgExpr(CE, C); in analyzerDumpExtent()
363 C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy); in analyzerDumpElementCount()
[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.cpp1549 DestinationArgExpr Dest = {{Call.getArgExpr(0), 0}}; in evalMemcpy()
1550 SourceArgExpr Src = {{Call.getArgExpr(1), 1}}; in evalMemcpy()
1551 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMemcpy()
1564 DestinationArgExpr Dest = {{Call.getArgExpr(0), 0}}; in evalMempcpy()
1565 SourceArgExpr Src = {{Call.getArgExpr(1), 1}}; in evalMempcpy()
1566 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMempcpy()
1578 DestinationArgExpr Dest = {{Call.getArgExpr(0), 0}}; in evalMemmove()
1579 SourceArgExpr Src = {{Call.getArgExpr(1), 1}}; in evalMemmove()
1580 SizeArgExpr Size = {{Call.getArgExpr(2), 2}}; in evalMemmove()
1590 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.cpp239 const Expr *Arg = Call.getArgExpr(CreateModeArgIndex); in CheckOpenVariant()
260 Call.getArgExpr(MaxArgCount)->getSourceRange()); in CheckOpenVariant()
269 const Expr *oflagsEx = Call.getArgExpr(FlagsArgIndex); in CheckOpenVariant()
390 State = EnsurePtrNotNull(SizePtrSval, Call.getArgExpr(1), C, State, "Size"); in CheckGetDelimOrGetline()
397 EnsurePtrNotNull(LinePtrPtrSVal, Call.getArgExpr(0), C, State, "Line"); in CheckGetDelimOrGetline()
402 Call.getArgExpr(0), in CheckGetDelimOrGetline()
403 Call.getArgExpr(1), C, State); in CheckGetDelimOrGetline()
448 report->addRange(Call.getArgExpr(0)->getSourceRange()); in CheckPthreadOnce()
H A DSmartPtrModeling.cpp262 return isStdSmartPtr(Call.getArgExpr(1)) && in isStdOstreamOperatorCall()
263 isStdBasicOstream(Call.getArgExpr(0)); in isStdOstreamOperatorCall()
269 return smartptr::isStdSmartPtr(Call.getArgExpr(0)) || in isPotentiallyComparisionOpCall()
270 smartptr::isStdSmartPtr(Call.getArgExpr(1)); in isPotentiallyComparisionOpCall()
290 const Expr *FirstArg = Call.getArgExpr(0); in evalCall()
401 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()
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.cpp1244 const Expr *FlagsEx = Call.getArgExpr(Call.getNumArgs() - 1); in performKernelMalloc()
1270 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1291 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1305 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1369 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1474 State = MallocMemAux(C, Call, Call.getArgExpr(0), zeroVal, State, in checkGMalloc0()
1482 State = MallocMemAux(C, Call, Call.getArgExpr(1), UnknownVal(), State, in checkGMemdup()
1491 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN()
1503 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN0()
1534 State = FreeMemAux(C, Call.getArgExpr(0), Call, State, false, in preGetDelimOrGetLine()
[all …]
H A DPutenvStackArrayChecker.cpp45 const Expr *ArgExpr = Call.getArgExpr(0); in checkPostCall()
H A DIteratorModeling.cpp223 if (isIteratorType(Call.getArgExpr(i)->getType()) && in checkPostCall()
224 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.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 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 DNonNullParamChecker.cpp134 const Expr *ArgE = Call.getArgExpr(idx); in checkPreCall()
H A DBasicObjCFoundationChecks.cpp212 msg.getArgExpr(Arg), C); in warnIfNilArg()
584 bugreporter::trackExpressionValue(N, Call.getArgExpr(0), *report); in checkPreCall()
754 QualType ArgTy = msg.getArgExpr(I)->getType(); in checkPreObjCMessage()
H A DGenericTaintChecker.cpp301 : Call.getArgExpr(ArgIdx); in GetArgExpr()
1113 return generateReportIfTainted(Call.getArgExpr(ArgNum), in checkUncontrolledFormatString()
1127 SourceLocation DomLoc = Call.getArgExpr(0)->getExprLoc(); in taintUnsafeSocketProtocol()
H A DStreamChecker.cpp963 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
1037 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preRead()
1062 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preWrite()
1507 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
1786 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
H A DBuiltinFunctionChecker.cpp48 return Call.getArgExpr(2)->getType()->getPointeeType(); in getOverflowBuiltinResultType()
H A DMoveChecker.cpp479 AFC->getArgExpr(0)->isPRValue()) in checkPostCall()
/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
561 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
598 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
761 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
817 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
860 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1023 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1096 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1102 getArgExpr(Index), in getArgSVal()
1170 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp164 CE.getArgExpr(1)->getType()->getPointeeType()); in allRegionsUsedByWait()
172 CE.getArgExpr(1)->getType()->getPointeeType(), Idx, SuperRegion, in allRegionsUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp308 const Expr *ArgE = getArgExpr(Index); in getArgSVal()
315 const Expr *ArgE = getArgExpr(Index); in getArgSourceRange()
455 const Expr *ArgExpr = Call.getArgExpr(ArgIdx); in castArgToParamTypeIfNeeded()
484 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