Lines Matching refs:ArgN

118     ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {}  in ValueConstraint()  argument
133 const bool ValidArg = ArgN == Ret || ArgN < FD->getNumParams(); in checkValidity()
140 ArgNo getArgNo() const { return ArgN; } in getArgNo()
146 virtual std::vector<ArgNo> getArgsToTrack() const { return {ArgN}; } in getArgsToTrack()
161 ArgNo ArgN; // Argument to which we apply the constraint. member in __anon09a2c6cc0111::StdLibraryFunctionsChecker::ValueConstraint
187 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint() argument
188 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges) {} in RangeConstraint()
231 getArgType(FD, ArgN)->isIntegralType(FD->getASTContext()); in checkSpecificValidity()
244 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint() argument
246 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
284 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
324 std::vector<ArgNo> Result{ArgN}; in getArgsToTrack()
384 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
602 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType() argument
604 QualType T = (ArgN == Ret) in getArgType()
606 : FD->getParamDecl(ArgN)->getType().getCanonicalType(); in getArgType()
661 QualType getArgType(ArgNo ArgN) const { in getArgType()
662 return StdLibraryFunctionsChecker::getArgType(FD, ArgN); in getArgType()
699 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() argument
700 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
743 for (ArgNo ArgN : VC->getArgsToTrack()) in reportBug() local
744 bugreporter::trackExpressionValue(N, Call.getArgExpr(ArgN), *R); in reportBug()
784 Result += getArgDesc(ArgN); in describe()
797 Result += getArgDesc(ArgN); in describe()
826 StdLibraryFunctionsChecker::getArgDesc(StdLibraryFunctionsChecker::ArgNo ArgN) { in getArgDesc() argument
828 Result += std::to_string(ArgN + 1); in getArgDesc()
829 Result += llvm::getOrdinalSuffix(ArgN + 1); in getArgDesc()
838 Result += getArgDesc(ArgN); in describe()
1335 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, in initFunctionSummaries()
1337 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges); in initFunctionSummaries()
1370 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() argument
1371 return std::make_shared<NotNullConstraint>(ArgN); in initFunctionSummaries()