Lines Matching refs:ArgNo
91 typedef uint32_t ArgNo; typedef in __anondd300ad00111::StdLibraryFunctionsChecker
92 static const ArgNo Ret;
96 static SmallString<8> getArgDesc(ArgNo);
113 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint()
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.
182 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint()
235 ArgNo OtherArgN;
239 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint()
240 ArgNo OtherArgN) in ComparisonConstraint()
242 ArgNo getOtherArgNo() const { return OtherArgN; } in getOtherArgNo()
300 llvm::Optional<ArgNo> SizeArgN;
304 llvm::Optional<ArgNo> SizeMultiplierArgN;
310 BufferSizeConstraint(ArgNo Buffer, llvm::APSInt BufMinSize) in BufferSizeConstraint()
312 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize) in BufferSizeConstraint()
314 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize, ArgNo BufSizeMultiplier) in BufferSizeConstraint()
318 std::vector<ArgNo> getArgsToTrack() const override { in getArgsToTrack()
319 std::vector<ArgNo> Result{ArgN}; in getArgsToTrack()
446 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType()
514 QualType getArgType(ArgNo ArgN) const { in getArgType()
552 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal()
595 for (ArgNo ArgN : VC->getArgsToTrack()) in reportBug()
609 const StdLibraryFunctionsChecker::ArgNo StdLibraryFunctionsChecker::Ret =
610 std::numeric_limits<ArgNo>::max();
666 StdLibraryFunctionsChecker::getArgDesc(StdLibraryFunctionsChecker::ArgNo ArgN) { in getArgDesc()
792 ArgNo OtherArg = getOtherArgNo(); in apply()
1149 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, in initFunctionSummaries()
1160 auto operator()(BinaryOperator::Opcode Op, ArgNo OtherArgN) { in initFunctionSummaries()
1184 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries()
1367 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
1369 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1370 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1371 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
1372 /*BufSizeMultiplier=*/ArgNo(2))); in initFunctionSummaries()
1394 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
1441 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1460 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1469 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1501 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1502 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1519 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1527 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1528 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1537 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1539 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1556 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1573 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1587 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1592 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1599 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1606 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1613 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1618 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1632 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1640 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1650 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1659 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1666 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1676 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1698 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1706 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1714 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1729 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1736 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1744 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1745 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1756 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1758 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
1765 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1774 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1786 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1795 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1796 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1805 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1806 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1818 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1819 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1824 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1846 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1847 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1852 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1871 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1879 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1884 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1889 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1894 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1901 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1909 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1914 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1944 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1960 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
1962 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1963 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1964 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
1965 /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
1977 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(3)), in initFunctionSummaries()
1980 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1981 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
1982 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
1983 /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
1995 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1996 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2004 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2014 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2022 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2032 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2033 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2082 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2084 BufferSize(/*Buffer=*/ArgNo(1), /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
2109 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2110 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2131 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2132 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2152 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2163 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2166 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2167 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
2188 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2191 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2192 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
2223 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2226 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2227 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
2262 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2264 BufferSize(/*Buffer=*/ArgNo(3), /*BufSize=*/ArgNo(4))) in initFunctionSummaries()
2278 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2279 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2287 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2290 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2291 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
2299 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2316 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1))) in initFunctionSummaries()
2320 BufferSize(/*Buffer=*/ArgNo(2), /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
2324 BufferSize(/*Buffer=*/ArgNo(4), /*BufSize=*/ArgNo(5))) in initFunctionSummaries()
2337 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2361 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2374 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2383 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2402 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2411 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2412 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2420 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2421 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2422 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2430 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2431 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2433 /*Buffer=*/ArgNo(1), in initFunctionSummaries()
2443 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2444 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2449 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2459 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2470 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2502 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2514 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2515 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2522 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2533 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2534 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2542 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2553 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2563 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2570 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2611 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2616 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2617 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2623 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1)))); in initFunctionSummaries()
2628 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
2629 /*BufSizeMultiplier=*/ArgNo(2)))); in initFunctionSummaries()
2634 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()