Home
last modified time | relevance | path

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

12

/src/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.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()
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()
[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.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 DNonNullParamChecker.cpp135 const Expr *ArgE = Call.getArgExpr(idx); in checkPreCall()
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()
/src/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 …]
/src/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()
/src/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()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp300 Call.getArgExpr(I)->printPretty(Out, /*Helper=*/nullptr, in checkPostCall()

12