Home
last modified time | relevance | path

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

12

/netbsd-src/external/apache2/llvm/dist/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()
226 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
362 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
366 handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
367 Call.getArgSVal(1), Op); in handleOverloadedOperator()
378 InstCall->getCXXThisVal(), Call.getArgSVal(0)); 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()
[all …]
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 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 DSmartPtrModeling.cpp243 auto ArgVal = Call.getArgSVal(0); in evalCall()
346 State = State->set<TrackedRegionMap>(ThisRegion, Call.getArgSVal(0)); in handleReset()
409 const auto *ArgRegion = Call.getArgSVal(0).getAsRegion(); in handleSwap()
477 const MemRegion *OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion(); in handleAssignOp()
480 bool AssignedNull = Call.getArgSVal(0).isZeroConstant(); in handleAssignOp()
502 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 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 DMmapWriteExecChecker.cpp50 SVal ProtVal = Call.getArgSVal(2); in checkPreCall()
H A DObjCSelfInitChecker.cpp252 SVal argV = CE.getArgSVal(i); in checkPreCall()
280 SVal argV = CE.getArgSVal(i); in checkPostCall()
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 __anon6255e2070111::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 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 DStreamChecker.cpp167 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
601 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
604 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
680 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 DObjCSuperDeallocChecker.cpp205 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
H A DSimpleStreamChecker.cpp145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
/netbsd-src/external/apache2/llvm/dist/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()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/cert/
H A DPutenvWithAutoChecker.cpp44 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp145 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
274 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
279 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
381 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
492 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()

12