Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp92 verifyIncrement(C, Call.getArgSVal(0)); in checkPreCall()
101 verifyDecrement(C, Call.getArgSVal(0)); in checkPreCall()
111 Call.getArgSVal(0)); in checkPreCall()
117 Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
125 verifyDereference(C, Call.getArgSVal(0)); in checkPreCall()
132 (this->**Verifier)(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
136 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()
359 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
363 handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
364 Call.getArgSVal(1), Op); in handleOverloadedOperator()
375 InstCall->getCXXThisVal(), Call.getArgSVal(0)); in handleOverloadedOperator()
389 const SVal FirstArg = Call.getArgSVal(0); in handleOverloadedOperator()
390 const SVal SecondArg = Call.getArgSVal(1); in handleOverloadedOperator()
406 handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
[all …]
H A DPthreadLockChecker.cpp388 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquirePthreadLock()
395 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), false, in AcquireXNULock()
402 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryPthreadLock()
408 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryXNULock()
415 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryFuchsiaLock()
421 AcquireLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), true, in TryC11Lock()
501 ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in ReleaseAnyLock()
553 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), in DestroyPthreadLock()
560 DestroyLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), XNUSemantics, in DestroyXNULock()
620 InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind); in InitAnyLock()
H A DBuiltinFunctionChecker.cpp81 C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0))); in evalCall()
92 SVal Arg = Call.getArgSVal(0); in evalCall()
120 SVal Arg = Call.getArgSVal(0); in evalCall()
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.cpp140 getVAListAsRegion(Call.getArgSVal(FuncInfo.VAListPos), in checkPreCall()
311 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall()
319 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall()
358 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListEndCall()
H A DMIGChecker.cpp193 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 DUnixAPIChecker.cpp271 const SVal V = Call.getArgSVal(FlagsArgIndex); in CheckOpenVariant()
376 SVal SizePtrSval = Call.getArgSVal(1); in CheckGetDelim()
382 SVal LinePtrPtrSVal = Call.getArgSVal(0); in CheckGetDelim()
413 const MemRegion *R = Call.getArgSVal(0).getAsRegion(); in CheckPthreadOnce()
H A DStdVariantChecker.cpp224 const auto &ArgType = Call.getArgSVal(0) in handleStdGetCall()
235 const MemRegion *ArgMemRegion = Call.getArgSVal(0).getAsRegion(); in handleStdGetCall()
H A DPutenvStackArrayChecker.cpp45 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
H A DStreamChecker.cpp223 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
853 auto GetArgSVal = [&Call](int Idx) { return Call.getArgSVal(Idx); }; in escapeArgs()
1074 dyn_cast_or_null<SubRegion>(Call.getArgSVal(0).getAsRegion()); in tryToInvalidateFReadBufferByElements()
1118 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
1121 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
1215 Call.getArgSVal(0).getAs<DefinedSVal>(); in evalFgetx()
1254 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx()
1385 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc()
1430 auto NewLinePtr = getPointeeVal(Call.getArgSVal(0), State); in evalGetdelim()
1437 SVal SizePtrSval = Call.getArgSVal(1); in evalGetdelim()
[all …]
H A DMmapWriteExecChecker.cpp52 SVal ProtVal = Call.getArgSVal(2); in checkPreCall()
H A DTaggedUnionModeling.h60 auto ArgSVal = Call.getArgSVal(0); in handleConstructorAndAssignment()
H A DInnerPointerChecker.cpp168 SVal Arg = FC->getArgSVal(ArgI); in checkFunctionArguments()
223 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
H A DStringChecker.cpp71 const auto Param = Call.getArgSVal(0).getAs<Loc>(); in checkPreCall()
H A DNoOwnershipChangeVisitor.cpp113 SVal V = Call.getArgSVal(I); in maybeEmitNoteForParameters()
H A DStdLibraryFunctionsChecker.cpp202 if (auto N = getArgSVal(Call, getArgNo()).getAs<NonLoc>()) { in describeArgumentValue()
829 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() function in __anon4d759d9c0111::StdLibraryFunctionsChecker
830 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
882 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()
[all …]
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.cpp90 Call.getArgSVal(0), Irrelevant)); in evalSetErrno()
H A DContainerModeling.cpp164 Call.getArgSVal(0)); in checkPostCall()
182 (this->**Handler1)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0)); in checkPostCall()
188 (this->**Handler2)(C, InstCall->getCXXThisVal(), Call.getArgSVal(0), in checkPostCall()
189 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()
/freebsd/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/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