Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/llvm/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.cpp67 const Expr *getArgExpr(const CallExpr *CE, CheckerContext &C) const;
191 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE, in getArgExpr() function in ExprInspectionChecker
202 const Expr *Arg = getArgExpr(CE, C); in getArgRegion()
258 const Expr *Arg = getArgExpr(CE, C); in analyzerExplain()
293 const Expr *Arg = getArgExpr(CE, C); in analyzerValue()
308 const Expr *Arg = getArgExpr(CE, C); in analyzerDumpSValType()
318 const Expr *Arg = getArgExpr(CE, C); in analyzerDump()
377 const Expr *Arg = getArgExpr(CE, C); in analyzerWarnOnDeadSymbol()
531 const Expr *Arg = getArgExpr(CE, C); in analyzerExpress()
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()
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.cpp1168 const Expr *FlagsEx = Call.getArgExpr(Call.getNumArgs() - 1); in performKernelMalloc()
1194 return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState, in performKernelMalloc()
1215 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1229 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1300 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1383 State = MallocMemAux(C, Call, Call.getArgExpr(0), zeroVal, State, AF_Malloc); in checkGMalloc0()
1392 MallocMemAux(C, Call, Call.getArgExpr(1), UnknownVal(), State, AF_Malloc); in checkGMemdup()
1401 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN()
1413 SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1)); in checkGMallocN0()
1674 FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(), in checkPostObjCMessage()
[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 DIteratorRangeChecker.cpp109 Call.getArgExpr(0)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
116 Call.getArgExpr(1)->getType()->isIntegralOrEnumerationType()) { in checkPreCall()
H A DStreamChecker.cpp545 Call.getArgExpr(Desc->StreamArgNo), C, State); in preFreopen()
636 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFread()
661 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFwrite()
759 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preFseek()
1004 State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, in preDefault()
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.cpp253 : Call.getArgExpr(ArgIdx); in GetArgExpr()
960 return generateReportIfTainted(Call.getArgExpr(ArgNum), in checkUncontrolledFormatString()
974 SourceLocation DomLoc = Call.getArgExpr(0)->getExprLoc(); in taintUnsafeSocketProtocol()
H A DBasicObjCFoundationChecks.cpp204 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.cpp474 AFC->getArgExpr(0)->isPRValue()) in checkPostCall()
H A DCallAndMessageChecker.cpp534 Call.getArgExpr(i), i, checkUninitFields, Call, *BT, in checkArgInitializedness()
H A DCheckObjCDealloc.cpp935 if (!M.getArgExpr(0)->getType()->isObjCRetainableType()) in getValueReleasedByNillingOut()
H A DNullabilityChecker.cpp752 const Expr *ArgExpr = Call.getArgExpr(Idx); in checkPreCall()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h284 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
906 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
978 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
984 getArgExpr(Index), in getArgSVal()
1049 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
1106 const Expr *getArgExpr(unsigned Index) const override { in getArgExpr() function
[all …]
/openbsd-src/gnu/llvm/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()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp46 const Expr *ArgExpr = Call.getArgExpr(0); in checkPostCall()
H A DInvalidPtrChecker.cpp217 Call.getArgExpr(I)->printPretty(Out, /*Helper=*/nullptr, in checkPostCall()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp306 const Expr *ArgE = getArgExpr(Index); in getArgSVal()
313 const Expr *ArgE = getArgExpr(Index); in getArgSourceRange()
453 const Expr *ArgExpr = Call.getArgExpr(ArgIdx); in castArgToParamTypeIfNeeded()
482 const Expr *ArgExpr = Call.getArgExpr(Idx); in addParameterValuesToBindings()

12