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