Lines Matching refs:ArgNo
96 typedef uint32_t ArgNo; typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker
97 static const ArgNo Ret;
101 static SmallString<8> getArgDesc(ArgNo);
118 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint()
140 ArgNo getArgNo() const { return ArgN; } in getArgNo()
146 virtual std::vector<ArgNo> getArgsToTrack() const { return {ArgN}; } in getArgsToTrack()
161 ArgNo ArgN; // Argument to which we apply the constraint.
187 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint()
240 ArgNo OtherArgN;
244 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint()
245 ArgNo OtherArgN) in ComparisonConstraint()
247 ArgNo getOtherArgNo() const { return OtherArgN; } in getOtherArgNo()
305 llvm::Optional<ArgNo> SizeArgN;
309 llvm::Optional<ArgNo> SizeMultiplierArgN;
315 BufferSizeConstraint(ArgNo Buffer, llvm::APSInt BufMinSize) in BufferSizeConstraint()
317 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize) in BufferSizeConstraint()
319 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize, ArgNo BufSizeMultiplier) in BufferSizeConstraint()
323 std::vector<ArgNo> getArgsToTrack() const override { in getArgsToTrack()
324 std::vector<ArgNo> Result{ArgN}; in getArgsToTrack()
602 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType()
661 QualType getArgType(ArgNo ArgN) const { in getArgType()
699 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal()
743 for (ArgNo ArgN : VC->getArgsToTrack()) in reportBug()
769 const StdLibraryFunctionsChecker::ArgNo StdLibraryFunctionsChecker::Ret =
770 std::numeric_limits<ArgNo>::max();
826 StdLibraryFunctionsChecker::getArgDesc(StdLibraryFunctionsChecker::ArgNo ArgN) { in getArgDesc()
952 ArgNo OtherArg = getOtherArgNo(); in apply()
1335 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, in initFunctionSummaries()
1346 auto operator()(BinaryOperator::Opcode Op, ArgNo OtherArgN) { in initFunctionSummaries()
1370 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries()
1602 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
1605 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1606 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1607 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
1608 /*BufSizeMultiplier=*/ArgNo(2))); in initFunctionSummaries()
1630 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
1677 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1696 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1723 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1733 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1769 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1770 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1789 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1798 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1799 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1809 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1811 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1830 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1848 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1863 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1868 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1875 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1882 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1890 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1896 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1912 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1921 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1932 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1942 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1950 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1961 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1985 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1994 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2003 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2020 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2028 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2037 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2038 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2050 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2052 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2060 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2070 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2083 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2093 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2094 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2104 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2105 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2118 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2119 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2125 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2150 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2151 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2157 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2177 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2186 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2191 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2196 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2201 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2209 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2217 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2222 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2255 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2277 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2281 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2282 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2283 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2284 /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
2296 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(3)), in initFunctionSummaries()
2301 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2302 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
2303 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
2304 /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
2317 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2318 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2327 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2338 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2347 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2358 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2359 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2410 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2412 BufferSize(/*Buffer=*/ArgNo(1), /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
2439 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2440 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2463 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2464 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2486 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2498 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2503 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2504 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
2525 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2530 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2531 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
2563 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2568 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2569 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
2609 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2611 BufferSize(/*Buffer=*/ArgNo(3), /*BufSize=*/ArgNo(4))) in initFunctionSummaries()
2626 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2627 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2635 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2640 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2641 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
2650 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2667 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1))) in initFunctionSummaries()
2671 BufferSize(/*Buffer=*/ArgNo(2), /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
2675 BufferSize(/*Buffer=*/ArgNo(4), /*BufSize=*/ArgNo(5))) in initFunctionSummaries()
2689 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2715 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2729 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2739 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2758 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2767 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2768 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2776 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2777 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2778 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2786 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2787 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2789 /*Buffer=*/ArgNo(1), in initFunctionSummaries()
2799 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2800 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2805 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2816 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2828 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2860 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2872 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2873 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2880 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2891 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2892 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2900 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2911 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2921 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2928 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2969 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2974 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2975 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2981 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1)))); in initFunctionSummaries()
2986 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
2987 /*BufSizeMultiplier=*/ArgNo(2)))); in initFunctionSummaries()
2992 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()