| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 460 Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
491 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
503 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
510 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
515 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2)); in checkPreCall()
518 verifyMatch(C, Call.getArgSVal(0), in checkPreCall()
538 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
592 LHS = Call.getArgSVal(J); in checkPreCall()
614 Call.getArgSVal(0)); in checkPostCall()
677 handleErase(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPostCall()
[all …]
|
| H A D | ValistChecker.cpp | 140 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 D | GTestChecker.cpp | 136 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
166 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
|
| H A D | TrustNonnullChecker.cpp | 109 if (auto L = Msg.getArgSVal(1).getAs<Loc>()) in checkPostObjCMessage()
117 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
|
| H A D | StdLibraryFunctionsChecker.cpp | 222 static SVal getArgSVal(const CallEvent &Call, ArgNoTy ArgNo) { in getArgSVal() function in __anon2d97c18b0111::StdLibraryFunctionsChecker
223 return ArgNo == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgNo); in getArgSVal()
248 SVal V = getArgSVal(Call, getArgNo()); in applyAsOutOfRange()
276 SVal V = getArgSVal(Call, getArgNo()); in applyAsWithinRange()
326 SVal V = getArgSVal(Call, getArgNo()); in applyAsComparesToArgument()
330 SVal OtherV = getArgSVal(Call, OtherArg); in applyAsComparesToArgument()
|
| H A D | MmapWriteExecChecker.cpp | 51 SVal ProtVal = Call.getArgSVal(2); in checkPreCall()
|
| H A D | ObjCSelfInitChecker.cpp | 253 SVal argV = CE.getArgSVal(i); in checkPreCall()
281 SVal argV = CE.getArgSVal(i); in checkPostCall()
|
| H A D | MoveChecker.cpp | 446 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall()
597 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall()
648 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall()
|
| H A D | NonNullParamChecker.cpp | 97 SVal V = Call.getArgSVal(idx); in checkPreCall()
|
| H A D | SimpleStreamChecker.cpp | 146 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
|
| H A D | ObjCSuperDeallocChecker.cpp | 206 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
|
| H A D | BasicObjCFoundationChecks.cpp | 157 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
559 SVal ArgVal = Call.getArgSVal(0); in checkPreCall()
760 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
|
| H A D | InnerPointerChecker.cpp | 170 SVal Arg = FC->getArgSVal(ArgI); in checkFunctionArguments()
|
| H A D | CheckObjCDealloc.cpp | 373 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
940 SVal Arg = M.getArgSVal(0); in getValueReleasedByNillingOut()
|
| H A D | LocalizationChecker.cpp | 865 SVal svTitle = msg.getArgSVal(argumentNumber); in checkPreObjCMessage()
895 auto actual = Call.getArgSVal(i); in checkPreCall()
939 SVal argValue = Call.getArgSVal(i); in checkPostCall()
|
| H A D | StackAddrEscapeChecker.cpp | 243 Call.getArgSVal(Idx).getAsRegion())) in checkPreCall()
|
| H A D | CallAndMessageChecker.cpp | 454 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i), in checkPreCall()
|
| H A D | DynamicTypePropagation.cpp | 793 SVal ArgSVal = M.getArgSVal(i); in checkPreObjCMessage()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 31 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-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 145 if (getArgSVal(Idx).isZeroConstant()) in hasNonNullArgumentsWithType()
308 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
313 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
401 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() function in CallEvent
514 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings()
|
| H A D | BugReporterVisitors.cpp | 359 SVal S = Call->getArgSVal(I); in VisitNode()
977 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>(); in visitNodeMaybeUnsuppress()
2338 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
|
| H A D | ExprEngineCXX.cpp | 74 SVal V = Call.getArgSVal(0); in performTrivialCopy()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 127 if (const MemRegion *MR = (*CE)->getArgSVal(Idx).getAsRegion()) in findArgIdxOfSymbol()
317 if (SymbolRef SR = Call->getArgSVal(I).getAsLocSymbol()) { in annotateConsumedSummaryMismatch()
|
| H A D | RetainCountChecker.cpp | 499 SVal V = CallOrMsg.getArgSVal(idx); in processSummaryOfInlined()
567 SVal ArgVal = CE.getArgSVal(idx); in updateOutParameters()
636 SVal V = CallOrMsg.getArgSVal(idx); in checkSummary()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 301 virtual SVal getArgSVal(unsigned Index) const;
|