Lines Matching refs:ArgN
113 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint() argument
128 const bool ValidArg = ArgN == Ret || ArgN < FD->getNumParams(); in checkValidity()
135 ArgNo getArgNo() const { return ArgN; } in getArgNo()
141 virtual std::vector<ArgNo> getArgsToTrack() const { return {ArgN}; } in getArgsToTrack()
156 ArgNo ArgN; // Argument to which we apply the constraint. member in __anondd300ad00111::StdLibraryFunctionsChecker::ValueConstraint
182 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint() argument
183 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges) {} in RangeConstraint()
226 getArgType(FD, ArgN)->isIntegralType(FD->getASTContext()); in checkSpecificValidity()
239 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint() argument
241 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
279 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
319 std::vector<ArgNo> Result{ArgN}; in getArgsToTrack()
379 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
446 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType() argument
448 QualType T = (ArgN == Ret) in getArgType()
450 : FD->getParamDecl(ArgN)->getType().getCanonicalType(); in getArgType()
514 QualType getArgType(ArgNo ArgN) const { in getArgType()
515 return StdLibraryFunctionsChecker::getArgType(FD, ArgN); in getArgType()
552 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() argument
553 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
595 for (ArgNo ArgN : VC->getArgsToTrack()) in reportBug() local
596 bugreporter::trackExpressionValue(N, Call.getArgExpr(ArgN), *R); in reportBug()
624 Result += getArgDesc(ArgN); in describe()
637 Result += getArgDesc(ArgN); in describe()
666 StdLibraryFunctionsChecker::getArgDesc(StdLibraryFunctionsChecker::ArgNo ArgN) { in getArgDesc() argument
668 Result += std::to_string(ArgN + 1); in getArgDesc()
669 Result += llvm::getOrdinalSuffix(ArgN + 1); in getArgDesc()
678 Result += getArgDesc(ArgN); in describe()
1149 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, in initFunctionSummaries()
1151 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges); in initFunctionSummaries()
1184 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() argument
1185 return std::make_shared<NotNullConstraint>(ArgN); in initFunctionSummaries()