Home
last modified time | relevance | path

Searched refs:getArgSVal (Results 1 – 25 of 40) sorted by relevance

12

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp80 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPreCall()
89 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
97 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
100 verifyMatch(C, Call.getArgSVal(1), in checkPreCall()
104 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
109 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
112 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
132 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
183 LHS = Call.getArgSVal(J); in checkPreCall()
185 verifyMatch(C, LHS, Call.getArgSVal(J)); in checkPreCall()
H A DIteratorRangeChecker.cpp93 verifyIncrement(C, Call.getArgSVal(0)); in checkPreCall()
102 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()
112 Call.getArgSVal(0)); in checkPreCall()
118 Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
126 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()
133 (this->**Verifier)(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
137 C, Call.getArgSVal(0), in checkPreCall()
H A DIteratorModeling.cpp206 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
209 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()
362 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
367 Call.getArgSVal(1), Op); in handleOverloadedOperator()
392 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
393 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
409 handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
419 handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
432 Call.getArgSVal(0), Call.getArgSVal(1)); in handleAdvanceLikeFunction()
441 if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) { in handleAdvanceLikeFunction()
[all …]
H A DBuiltinFunctionChecker.cpp49 SVal Arg = Call.getArgSVal(0); in evalCall()
76 SVal Arg = Call.getArgSVal(0); in evalCall()
91 auto Size = Call.getArgSVal(0); in evalCall()
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 DSmartPtrModeling.cpp298 return handleSwap(State, Call.getArgSVal(0), Call.getArgSVal(1), C); in evalCall()
407 auto ArgVal = Call.getArgSVal(0); in evalCall()
483 SVal First = Call.getArgSVal(0); in handleComparisionOp()
484 SVal Second = Call.getArgSVal(1); in handleComparisionOp()
528 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator()
612 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
672 handleSwap(State, IC->getCXXThisVal(), Call.getArgSVal(0), C); in handleSwapMethod()
745 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
748 bool AssignedNull = Call.getArgSVal(0).isZeroConstant(); in handleAssignOp()
770 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr()
H A DValistChecker.cpp141 getVAListAsRegion(Call.getArgSVal(FuncInfo.VAListPos), 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 DGTestChecker.cpp135 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
165 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
H A DMIGChecker.cpp188 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) { in checkPostCall()
208 SVal Arg = Call.getArgSVal(ArgIdx); in checkPostCall()
H A DTrustNonnullChecker.cpp108 if (auto L = Msg.getArgSVal(1).getAs<Loc>()) in checkPostObjCMessage()
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
H A DMmapWriteExecChecker.cpp50 SVal ProtVal = Call.getArgSVal(2); in checkPreCall()
H A DFuchsiaHandleChecker.cpp328 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
340 getFuchsiaHandleSymbols(PVD->getType(), Call.getArgSVal(Arg), State); in checkPreCall()
421 getFuchsiaHandleSymbols(PVD->getType(), Call.getArgSVal(Arg), State); in checkPostCall()
588 getFuchsiaHandleSymbols(PVD->getType(), Call->getArgSVal(Arg), State); in checkPointerEscape()
H A DInnerPointerChecker.cpp179 SVal Arg = FC->getArgSVal(ArgI); in checkFunctionArguments()
234 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
H A DObjCSelfInitChecker.cpp252 SVal argV = CE.getArgSVal(i); in checkPreCall()
280 SVal argV = CE.getArgSVal(i); in checkPostCall()
H A DMoveChecker.cpp459 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
610 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
661 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
H A DInvalidatedIteratorChecker.cpp70 verifyAccess(C, Call.getArgSVal(0)); in checkPreCall()
H A DStdLibraryFunctionsChecker.cpp261 SVal V = getArgSVal(Call, getArgNo()); in apply()
335 SVal BufV = getArgSVal(Call, getArgNo()); in apply()
345 SVal SizeV = getArgSVal(Call, *SizeArgN); in apply()
348 SVal SizeMulV = getArgSVal(Call, *SizeMultiplierArgN); in apply()
552 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() function in __anondd300ad00111::StdLibraryFunctionsChecker
553 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
704 SVal V = getArgSVal(Call, getArgNo()); in applyAsOutOfRange()
733 SVal V = getArgSVal(Call, getArgNo()); in applyAsWithinRange()
789 SVal V = getArgSVal(Call, getArgNo()); in apply()
793 SVal OtherV = getArgSVal(Call, OtherArg); in apply()
H A DStreamChecker.cpp179 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
640 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
643 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
724 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()
H A DContainerModeling.cpp173 Call.getArgSVal(0)); in checkPostCall()
191 (this->**Handler1)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPostCall()
197 (this->**Handler2)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0), in checkPostCall()
198 Call.getArgSVal(1)); in checkPostCall()
H A DCastValueChecker.cpp486 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>(); in evalCall()
495 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>(); in evalCall()
H A DSimpleStreamChecker.cpp145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
H A DObjCSuperDeallocChecker.cpp205 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
138 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
140 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp44 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp146 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
275 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
280 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
382 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
529 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()

12