Home
last modified time | relevance | path

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

12

/freebsd/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()
97 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
99 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
104 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
108 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
128 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
181 LHS = Call.getArgSVal(J); in checkPreCall()
[all …]
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.cpp207 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
210 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()
227 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
361 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op); in handleOverloadedOperator()
366 Call.getArgSVal(0), 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()
419 handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0), in handleOverloadedOperator()
[all …]
H A DBuiltinFunctionChecker.cpp179 SVal Arg1 = Call.getArgSVal(0); in initStateAftetBuiltinOverflow()
180 SVal Arg2 = Call.getArgSVal(1); in initStateAftetBuiltinOverflow()
187 if (auto L = Call.getArgSVal(2).getAs<Loc>()) { in initStateAftetBuiltinOverflow()
208 SVal Arg1 = Call.getArgSVal(0); in handleOverflowBuiltin()
209 SVal Arg2 = Call.getArgSVal(1); in handleOverflowBuiltin()
261 C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0))); in evalCall()
312 SVal Arg = Call.getArgSVal(0); in evalCall()
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 DSmartPtrModeling.cpp293 return handleSwap(State, Call.getArgSVal(0), Call.getArgSVal(1), C); in evalCall()
404 auto ArgVal = Call.getArgSVal(0); in evalCall()
481 SVal First = Call.getArgSVal(0); in handleComparisionOp()
482 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 DTrustNonnullChecker.cpp107 if (auto L = Msg.getArgSVal(1).getAs<Loc>()) in checkPostObjCMessage()
115 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
H A DMIGChecker.cpp193 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) { in checkPostCall()
210 SVal Arg = Call.getArgSVal(ArgIdx); in checkPostCall()
H A DUnixAPIChecker.cpp270 const SVal V = Call.getArgSVal(FlagsArgIndex); in CheckOpenVariant()
389 SVal SizePtrSval = Call.getArgSVal(1); in CheckGetDelimOrGetline()
395 SVal LinePtrPtrSVal = Call.getArgSVal(0); in CheckGetDelimOrGetline()
426 const MemRegion *R = Call.getArgSVal(0).getAsRegion(); in CheckPthreadOnce()
H A DStdVariantChecker.cpp222 const auto &ArgType = Call.getArgSVal(0) in handleStdGetCall()
233 const MemRegion *ArgMemRegion = Call.getArgSVal(0).getAsRegion(); in handleStdGetCall()
H A DPutenvStackArrayChecker.cpp44 SVal ArgV = Call.getArgSVal(0); in checkPostCall()
H A DAssumeModeling.cpp67 SVal Arg = Call.getArgSVal(0); in evalCall()
H A DStreamChecker.cpp223 return Call.getArgSVal(Desc->StreamArgNo); in getStreamArg()
869 auto GetArgSVal = [&Call](int Idx) { return Call.getArgSVal(Idx); }; in escapeArgs()
1113 dyn_cast_or_null<SubRegion>(Call.getArgSVal(0).getAsRegion()); in tryToInvalidateFReadBufferByElements()
1157 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
1160 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
1254 Call.getArgSVal(0).getAs<DefinedSVal>(); in evalFgetx()
1293 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx()
1424 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc()
1469 auto NewLinePtr = getPointeeVal(Call.getArgSVal(0), State); in evalGetdelim()
1476 SVal SizePtrSval = Call.getArgSVal(1); in evalGetdelim()
[all …]
H A DTaggedUnionModeling.h60 auto ArgSVal = Call.getArgSVal(0); in handleConstructorAndAssignment()
H A DMmapWriteExecChecker.cpp66 SVal ProtVal = Call.getArgSVal(2); in checkPreCall()
H A DInnerPointerChecker.cpp166 SVal Arg = FC->getArgSVal(ArgI); in checkFunctionArguments()
221 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.cpp103 SVal V = Call.getArgSVal(I); in maybeEmitNoteForParameters()
H A DObjCSelfInitChecker.cpp250 SVal argV = CE.getArgSVal(i); in checkPreCall()
279 SVal argV = CE.getArgSVal(i); in checkPostCall()
H A DStdLibraryFunctionsChecker.cpp202 if (auto N = getArgSVal(Call, getArgNo()).getAs<NonLoc>()) { in describeArgumentValue()
827 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() function in __anon4d759d9c0111::StdLibraryFunctionsChecker
828 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
880 R->markInteresting(Call.getArgSVal(ArgN)); in reportBug()
926 State, getArgSVal(Call, ArgN))) in printArgValueInfo()
1039 SVal V = getArgSVal(Call, getArgNo()); in apply()
1096 SVal V = getArgSVal(Call, getArgNo()); in describeArgumentValue()
1138 SVal V = getArgSVal(Call, getArgNo()); in apply()
1142 SVal OtherV = getArgSVal(Call, OtherArg); in apply()
1155 SVal V = getArgSVal(Call, getArgNo()); in apply()
[all …]
H A DMoveChecker.cpp463 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
616 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
667 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
H A DInvalidatedIteratorChecker.cpp65 verifyAccess(C, Call.getArgSVal(0)); in checkPreCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
136 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
138 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp126 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
255 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
260 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
307 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
483 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()

12