Home
last modified time | relevance | path

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

12

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp70 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPreCall()
79 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
87 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
90 verifyMatch(C, Call.getArgSVal(1), in checkPreCall()
94 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
99 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
102 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
122 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
175 LHS = Call.getArgSVal(J); in checkPreCall()
177 verifyMatch(C, LHS, Call.getArgSVal(J)); in checkPreCall()
H A DIteratorRangeChecker.cpp87 verifyIncrement(C, Call.getArgSVal(0)); in checkPreCall()
96 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()
106 Call.getArgSVal(0)); in checkPreCall()
112 Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
120 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()
127 (this->**Verifier)(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
131 C, Call.getArgSVal(0), in checkPreCall()
H A DIteratorModeling.cpp205 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
208 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()
358 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
363 Call.getArgSVal(1), Op); in handleOverloadedOperator()
388 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
389 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
405 handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
415 handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
428 Call.getArgSVal(0), Call.getArgSVal(1)); in handleAdvanceLikeFunction()
437 if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) { in handleAdvanceLikeFunction()
[all …]
H A DBuiltinFunctionChecker.cpp49 SVal Arg = Call.getArgSVal(0); in evalCall()
77 SVal Arg = Call.getArgSVal(0); in evalCall()
91 auto Size = Call.getArgSVal(0); in evalCall()
H A DPthreadLockChecker.cpp359 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquirePthreadLock()
366 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquireXNULock()
373 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryPthreadLock()
379 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryXNULock()
386 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryFuchsiaLock()
392 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryC11Lock()
472 ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in ReleaseAnyLock()
524 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), in DestroyPthreadLock()
531 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics, in DestroyXNULock()
591 InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in InitAnyLock()
H A DSmartPtrModeling.cpp296 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()
611 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
672 handleSwap(State, IC->getCXXThisVal(), Call.getArgSVal(0), C); in handleSwapMethod()
747 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
750 bool AssignedNull = Call.getArgSVal(0).isZeroConstant(); in handleAssignOp()
772 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.cpp134 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
164 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
H A DMIGChecker.cpp190 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) { in checkPostCall()
210 SVal Arg = Call.getArgSVal(ArgIdx); in checkPostCall()
H A DTrustNonnullChecker.cpp107 if (auto L = Msg.getArgSVal(1).getAs<Loc>()) in checkPostObjCMessage()
115 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
H A DStdVariantChecker.cpp222 const auto &ArgType = Call.getArgSVal(0) in handleStdGetCall()
233 const MemRegion *ArgMemRegion = Call.getArgSVal(0).getAsRegion(); in handleStdGetCall()
H A DMmapWriteExecChecker.cpp53 SVal ProtVal = Call.getArgSVal(2); in checkPreCall()
H A DFuchsiaHandleChecker.cpp325 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
337 getFuchsiaHandleSymbols(PVD->getType(), Call.getArgSVal(Arg), State); in checkPreCall()
418 getFuchsiaHandleSymbols(PVD->getType(), Call.getArgSVal(Arg), State); in checkPostCall()
585 getFuchsiaHandleSymbols(PVD->getType(), Call->getArgSVal(Arg), State); in checkPointerEscape()
H A DTaggedUnionModeling.h61 auto ArgSVal = Call.getArgSVal(0); in handleConstructorAndAssignment()
H A DStringChecker.cpp71 const auto Param = Call.getArgSVal(0).getAs<Loc>(); in checkPreCall()
H A DInnerPointerChecker.cpp176 SVal Arg = FC->getArgSVal(ArgI); in checkFunctionArguments()
231 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
H A DStreamChecker.cpp182 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
738 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
741 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
860 Call.getArgSVal(0).getAs<DefinedSVal>(); in evalFgetx()
914 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx()
1074 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc()
1162 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()
1185 C.getSValBuilder().getKnownValue(State, Call.getArgSVal(1)); in evalFseek()
1187 C.getSValBuilder().getKnownValue(State, Call.getArgSVal(2)); in evalFseek()
H A DStdLibraryFunctionsChecker.cpp882 R->markInteresting(Call.getArgSVal(ArgN)); in reportBug()
928 State, getArgSVal(Call, ArgN))) in printArgValueInfo()
1041 SVal V = getArgSVal(Call, getArgNo()); in apply()
1098 SVal V = getArgSVal(Call, getArgNo()); in describeArgumentValue()
1140 SVal V = getArgSVal(Call, getArgNo()); in apply()
1144 SVal OtherV = getArgSVal(Call, OtherArg); in apply()
1157 SVal V = getArgSVal(Call, getArgNo()); in apply()
1190 SVal V = getArgSVal(Call, getArgNo()); in apply()
1240 SVal BufV = getArgSVal(Call, getArgNo()); in apply()
1250 SVal SizeV = getArgSVal(Call, *SizeArgN); in apply()
[all …]
H A DObjCSelfInitChecker.cpp250 SVal argV = CE.getArgSVal(i); in checkPreCall()
279 SVal argV = CE.getArgSVal(i); in checkPostCall()
H A DMoveChecker.cpp460 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
612 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
663 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
H A DInvalidatedIteratorChecker.cpp65 verifyAccess(C, Call.getArgSVal(0)); in checkPreCall()
H A DErrnoTesterChecker.cpp88 Call.getArgSVal(0), Irrelevant)); in evalSetErrno()
/freebsd-14.2/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-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp45 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp127 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
256 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
261 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
308 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
484 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()

12