Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/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.cpp205 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
208 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()
361 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
366 Call.getArgSVal(1), Op); in handleOverloadedOperator()
391 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
392 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
408 handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
418 handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
431 Call.getArgSVal(0), Call.getArgSVal(1)); in handleAdvanceLikeFunction()
440 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()
92 auto Size = Call.getArgSVal(0); in evalCall()
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 DSmartPtrModeling.cpp295 return handleSwap(State, Call.getArgSVal(0), Call.getArgSVal(1), C); in evalCall()
405 auto ArgVal = Call.getArgSVal(0); in evalCall()
481 SVal First = Call.getArgSVal(0); in handleComparisionOp()
482 SVal Second = Call.getArgSVal(1); in handleComparisionOp()
526 const auto StreamVal = Call.getArgSVal(0); in handleOstreamOperator()
610 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
671 handleSwap(State, IC->getCXXThisVal(), Call.getArgSVal(0), C); in handleSwapMethod()
746 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
749 bool AssignedNull = Call.getArgSVal(0).isZeroConstant(); in handleAssignOp()
771 const auto *OtherSmartPtrRegion = Call.getArgSVal(0).getAsRegion(); in handleMoveCtr()
H A DValistChecker.cpp142 getVAListAsRegion(Call.getArgSVal(FuncInfo.VAListPos), in checkPreCall()
313 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall()
321 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall()
360 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.cpp189 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) { in checkPostCall()
209 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 DStringChecker.cpp71 const auto Param = Call.getArgSVal(0).getAs<Loc>(); in checkPreCall()
H A DFuchsiaHandleChecker.cpp324 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
336 getFuchsiaHandleSymbols(PVD->getType(), Call.getArgSVal(Arg), State); in checkPreCall()
417 getFuchsiaHandleSymbols(PVD->getType(), Call.getArgSVal(Arg), State); in checkPostCall()
584 getFuchsiaHandleSymbols(PVD->getType(), Call->getArgSVal(Arg), State); in checkPointerEscape()
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 DObjCSelfInitChecker.cpp253 SVal argV = CE.getArgSVal(i); in checkPreCall()
282 SVal argV = CE.getArgSVal(i); in checkPostCall()
H A DMoveChecker.cpp458 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
609 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
660 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
H A DInvalidatedIteratorChecker.cpp70 verifyAccess(C, Call.getArgSVal(0)); in checkPreCall()
H A DStreamChecker.cpp180 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
642 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
645 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
721 State = ensureFseekWhenceCorrect(Call.getArgSVal(2), C, State); in preFseek()
H A DErrnoTesterChecker.cpp87 Call.getArgSVal(0), Irrelevant)); in evalSetErrno()
H A DContainerModeling.cpp159 Call.getArgSVal(0)); in checkPostCall()
177 (this->**Handler1)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPostCall()
183 (this->**Handler2)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0), in checkPostCall()
184 Call.getArgSVal(1)); in checkPostCall()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DBugReportInterestingnessTest.cpp65 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleInteresting()
75 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleNotInteresting()
85 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleCheck()
H A DFalsePositiveRefutationBRVisitorTest.cpp67 SVal AssertionVal = Call.getArgSVal(0); in reportIfCanBeTrue()
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp45 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp128 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
257 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
262 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
306 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
450 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()

12