Lines Matching refs:ArgN

105     ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {}  in ValueConstraint()  argument
120 const bool ValidArg = ArgN == Ret || ArgN < FD->getNumParams(); in checkValidity()
127 ArgNo getArgNo() const { return ArgN; } in getArgNo()
132 ArgNo ArgN; // Argument to which we apply the constraint. member in __anoncc76828c0111::StdLibraryFunctionsChecker::ValueConstraint
158 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint() argument
159 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges) {} in RangeConstraint()
199 getArgType(FD, ArgN)->isIntegralType(FD->getASTContext()); in checkSpecificValidity()
212 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint() argument
214 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
250 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
340 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
407 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType() argument
409 QualType T = (ArgN == Ret) in getArgType()
411 : FD->getParamDecl(ArgN)->getType().getCanonicalType(); in getArgType()
475 QualType getArgType(ArgNo ArgN) const { in getArgType()
476 return StdLibraryFunctionsChecker::getArgType(FD, ArgN); in getArgType()
512 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() argument
513 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
1024 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, in initFunctionSummaries()
1026 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges); in initFunctionSummaries()
1059 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() argument
1060 return std::make_shared<NotNullConstraint>(ArgN); in initFunctionSummaries()