|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h 268 virtual SVal getArgSVal(unsigned Index) const;
References
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 156 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue())
558 SVal ArgVal = Call.getArgSVal(0);
759 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>())
tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp 48 SVal Arg = Call.getArgSVal(0);
73 SVal Arg = Call.getArgSVal(0);
88 auto Size = Call.getArgSVal(0);
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 446 if (PreVisitProcessArg(C, Call.getArgSVal(i), Call.getArgSourceRange(i),
tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp 407 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>();
416 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 372 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol();
938 SVal Arg = M.getArgSVal(0);
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 785 SVal ArgSVal = M.getArgSVal(i);
tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp 135 SVal BooleanArgVal = Call->getArgSVal(0);
165 SVal OtherVal = Call->getArgSVal(0);
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 169 SVal Arg = FC->getArgSVal(ArgI);
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 382 verifyAccess(C, Call.getArgSVal(0));
392 verifyIncrement(C, Call.getArgSVal(0));
401 verifyDecrement(C, Call.getArgSVal(0));
411 Call.getArgSVal(0));
417 Call.getArgSVal(0), Call.getArgSVal(1));
417 Call.getArgSVal(0), Call.getArgSVal(1));
425 verifyDereference(C, Call.getArgSVal(0));
439 verifyMatch(C, InstCall->getCXXThisVal(), Call.getArgSVal(0));
448 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1));
448 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1));
460 verifyMatch(C, Call.getArgSVal(0),
463 verifyMatch(C, Call.getArgSVal(1),
467 verifyMatch(C, Call.getArgSVal(0),
472 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2));
472 verifyMatch(C, Call.getArgSVal(1), Call.getArgSVal(2));
475 verifyMatch(C, Call.getArgSVal(0),
495 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1));
495 verifyMatch(C, Call.getArgSVal(0), Call.getArgSVal(1));
549 LHS = Call.getArgSVal(J);
551 verifyMatch(C, LHS, Call.getArgSVal(J));
572 Call.getArgSVal(0));
585 InstCall->getCXXThisVal(), Call.getArgSVal(0), Op);
589 handleComparison(C, OrigExpr, Call.getReturnValue(), Call.getArgSVal(0),
590 Call.getArgSVal(1), Op);
598 InstCall->getCXXThisVal(), Call.getArgSVal(0));
605 Call.getReturnValue(), Call.getArgSVal(0),
606 Call.getArgSVal(1));
617 handleIncrement(C, Call.getReturnValue(), Call.getArgSVal(0),
627 handleDecrement(C, Call.getReturnValue(), Call.getArgSVal(0),
664 handleInsert(C, Call.getArgSVal(0));
670 handleErase(C, Call.getArgSVal(0));
675 handleErase(C, Call.getArgSVal(0), Call.getArgSVal(1));
675 handleErase(C, Call.getArgSVal(0), Call.getArgSVal(1));
682 handleEraseAfter(C, Call.getArgSVal(0));
687 handleEraseAfter(C, Call.getArgSVal(0), Call.getArgSVal(1));
687 handleEraseAfter(C, Call.getArgSVal(0), Call.getArgSVal(1));
722 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {
725 State = removeIteratorPosition(State, Call.getArgSVal(0));
739 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp 863 SVal svTitle = msg.getArgSVal(argumentNumber);
893 auto actual = Call.getArgSVal(i);
936 SVal argValue = Call.getArgSVal(i);
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp 187 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) {
207 SVal Arg = Call.getArgSVal(ArgIdx);
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 30 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion();
137 return CE.getArgSVal(0).getAsRegion();
139 return CE.getArgSVal(1).getAsRegion();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1455 return !Call.getArgSVal(i).isZeroConstant();
2711 SVal ArgSVal = Call.getArgSVal(I);
3034 if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0))
tools/clang/lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp 50 SVal ProtVal = Call.getArgSVal(2);
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 463 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion();
614 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion();
665 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion();
tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp 98 SVal V = Call.getArgSVal(idx);
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 660 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 252 SVal argV = CE.getArgSVal(i);
280 SVal argV = CE.getArgSVal(i);
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp 204 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 455 SVal V = CallOrMsg.getArgSVal(idx);
552 SVal ArgVal = CE.getArgSVal(idx);
620 SVal V = CallOrMsg.getArgSVal(idx);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 177 if (const MemRegion *MR = (*CE)->getArgSVal(Idx).getAsRegion())
392 if (SymbolRef SR = Call->getArgSVal(I).getAsLocSymbol()) {
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp 243 Call.getArgSVal(Idx).getAsRegion()))
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp 222 return ArgNo == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgNo);
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 108 if (auto L = Msg.getArgSVal(1).getAs<Loc>())
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp 141 getVAListAsRegion(Call.getArgSVal(FuncInfo.VAListPos),
312 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);
320 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C);
359 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 588 SVal V = Call->getArgSVal(I);
1154 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>();
2780 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion();
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp 144 if (getArgSVal(Idx).isZeroConstant())
309 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion())
314 ValuesToInvalidate.push_back(getArgSVal(Idx));
528 SVal ArgVal = Call.getArgSVal(Idx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 73 SVal V = Call.getArgSVal(0);