Home
last modified time | relevance | path

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

12

/src/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()
94 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
99 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
102 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
122 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
175 LHS = Call.getArgSVal(J); in checkPreCall()
177 verifyMatch(C, LHS, Call.getArgSVal(J)); in checkPreCall()
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 DGTestChecker.cpp134 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
164 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
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 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 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 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()
829 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() function in __anonfeb424110111::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()
/src/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()

12