Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/llvm/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()
185 LHS = Call.getArgSVal(J); in checkPreCall()
187 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()
225 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
361 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
365 handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
366 Call.getArgSVal(1), Op); in handleOverloadedOperator()
377 InstCall->getCXXThisVal(), Call.getArgSVal(0)); 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()
[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.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()
612 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
673 handleSwap(State, IC->getCXXThisVal(), Call.getArgSVal(0), C); in handleSwapMethod()
748 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
751 bool AssignedNull = Call.getArgSVal(0).isZeroConstant(); in handleAssignOp()
773 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.cpp136 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
166 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.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.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 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 DErrnoTesterChecker.cpp88 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()
H A DCastValueChecker.cpp489 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>(); in evalCall()
498 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>(); in evalCall()
H A DStdLibraryFunctionsChecker.cpp265 SVal V = getArgSVal(Call, getArgNo()); in apply()
339 SVal BufV = getArgSVal(Call, getArgNo()); in apply()
349 SVal SizeV = getArgSVal(Call, *SizeArgN); in apply()
352 SVal SizeMulV = getArgSVal(Call, *SizeMultiplierArgN); in apply()
698 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() function in __anon2143b5530111::StdLibraryFunctionsChecker
699 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
871 SVal V = getArgSVal(Call, getArgNo()); in applyAsOutOfRange()
900 SVal V = getArgSVal(Call, getArgNo()); in applyAsWithinRange()
956 SVal V = getArgSVal(Call, getArgNo()); in apply()
960 SVal OtherV = getArgSVal(Call, OtherArg); in apply()
[all …]
H A DSimpleStreamChecker.cpp132 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
/openbsd-src/gnu/llvm/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()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp45 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
/openbsd-src/gnu/llvm/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()
305 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
481 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()

12