Lines Matching refs:ArgN
113 static void printArgValueInfo(ArgNo ArgN, ProgramStateRef State,
149 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint() argument
217 virtual std::vector<ArgNo> getArgsToTrack() const { return {ArgN}; } in getArgsToTrack()
230 const bool ValidArg = ArgN == Ret || ArgN < FD->getNumParams(); in checkValidity()
239 ArgNo getArgNo() const { return ArgN; } in getArgNo()
247 ArgNo ArgN; member in __anon4d759d9c0111::StdLibraryFunctionsChecker::ValueConstraint
280 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges, in RangeConstraint() argument
282 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges), Description(Desc) { in RangeConstraint()
308 getArgType(FD, ArgN)->isIntegralType(FD->getASTContext()); in checkSpecificValidity()
359 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint() argument
361 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
376 NotNullConstraint(ArgNo ArgN, bool CannotBeNull = true) in NotNullConstraint() argument
377 : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {} in NotNullConstraint()
399 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
420 NotNullBufferConstraint(ArgNo ArgN, ArgNo SizeArg1N, in NotNullBufferConstraint() argument
423 : ValueConstraint(ArgN), SizeArg1N(SizeArg1N), SizeArg2N(SizeArg2N), in NotNullBufferConstraint()
446 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
497 std::vector<ArgNo> Result{ArgN}; in getArgsToTrack()
513 const bool ValidArg = getArgType(FD, ArgN)->isPointerType(); in checkSpecificValidity()
732 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType() argument
734 QualType T = (ArgN == Ret) in getArgType()
736 : FD->getParamDecl(ArgN)->getType().getCanonicalType(); in getArgType()
791 QualType getArgType(ArgNo ArgN) const { in getArgType()
792 return StdLibraryFunctionsChecker::getArgType(FD, ArgN); in getArgType()
829 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal() argument
830 return ArgN == Ret ? Call.getReturnValue() : Call.getArgSVal(ArgN); in getArgSVal()
880 for (ArgNo ArgN : VC->getArgsToTrack()) { in reportBug() local
881 bugreporter::trackExpressionValue(N, Call.getArgExpr(ArgN), *R); in reportBug()
882 R->markInteresting(Call.getArgSVal(ArgN)); in reportBug()
884 R->addRange(Call.getArgSourceRange(ArgN)); in reportBug()
916 StdLibraryFunctionsChecker::ArgNo ArgN, llvm::raw_ostream &Out) { in printArgDesc() argument
917 Out << std::to_string(ArgN + 1); in printArgDesc()
918 Out << llvm::getOrdinalSuffix(ArgN + 1); in printArgDesc()
922 void StdLibraryFunctionsChecker::printArgValueInfo(ArgNo ArgN, in printArgValueInfo() argument
928 State, getArgSVal(Call, ArgN))) in printArgValueInfo()
1756 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, IntRangeVector Ranges, in initFunctionSummaries()
1758 return std::make_shared<RangeConstraint>(ArgN, Kind, Ranges, Desc); in initFunctionSummaries()
1791 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() argument
1792 return std::make_shared<NotNullConstraint>(ArgN); in initFunctionSummaries()
1794 auto IsNull = [&](ArgNo ArgN) { in initFunctionSummaries() argument
1795 return std::make_shared<NotNullConstraint>(ArgN, false); in initFunctionSummaries()
1797 auto NotNullBuffer = [&](ArgNo ArgN, ArgNo SizeArg1N, ArgNo SizeArg2N) { in initFunctionSummaries() argument
1798 return std::make_shared<NotNullBufferConstraint>(ArgN, SizeArg1N, in initFunctionSummaries()
2162 auto ValidFileDescriptorOrAtFdcwd = [&](ArgNo ArgN) { in initFunctionSummaries() argument
2164 ArgN, WithinRange, Range({AT_FDCWDv, AT_FDCWDv}, {0, IntMax}), in initFunctionSummaries()