Lines Matching refs:ArgNo
103 typedef uint32_t ArgNo; typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker
105 static const ArgNo Ret;
109 static void printArgDesc(ArgNo, llvm::raw_ostream &Out);
113 static void printArgValueInfo(ArgNo ArgN, ProgramStateRef State,
149 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint()
217 virtual std::vector<ArgNo> getArgsToTrack() const { return {ArgN}; } in getArgsToTrack()
239 ArgNo getArgNo() const { return ArgN; } in getArgNo()
247 ArgNo ArgN;
280 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges, in RangeConstraint()
356 ArgNo OtherArgN;
359 ComparisonConstraint(ArgNo ArgN, BinaryOperator::Opcode Opcode, in ComparisonConstraint()
360 ArgNo OtherArgN) in ComparisonConstraint()
362 ArgNo getOtherArgNo() const { return OtherArgN; } in getOtherArgNo()
376 NotNullConstraint(ArgNo ArgN, bool CannotBeNull = true) in NotNullConstraint()
414 ArgNo SizeArg1N;
415 std::optional<ArgNo> SizeArg2N;
420 NotNullBufferConstraint(ArgNo ArgN, ArgNo SizeArg1N, in NotNullBufferConstraint()
421 std::optional<ArgNo> SizeArg2N, in NotNullBufferConstraint()
467 std::optional<ArgNo> SizeArgN;
471 std::optional<ArgNo> SizeMultiplierArgN;
476 BufferSizeConstraint(ArgNo Buffer, llvm::APSInt BufMinSize) in BufferSizeConstraint()
478 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize) in BufferSizeConstraint()
480 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize, ArgNo BufSizeMultiplier) in BufferSizeConstraint()
496 std::vector<ArgNo> getArgsToTrack() const override { in getArgsToTrack()
497 std::vector<ArgNo> Result{ArgN}; in getArgsToTrack()
732 static QualType getArgType(const FunctionDecl *FD, ArgNo ArgN) { in getArgType()
791 QualType getArgType(ArgNo ArgN) const { in getArgType()
829 static SVal getArgSVal(const CallEvent &Call, ArgNo ArgN) { in getArgSVal()
880 for (ArgNo ArgN : VC->getArgsToTrack()) { in reportBug()
904 const StdLibraryFunctionsChecker::ArgNo StdLibraryFunctionsChecker::Ret =
905 std::numeric_limits<ArgNo>::max();
916 StdLibraryFunctionsChecker::ArgNo ArgN, llvm::raw_ostream &Out) { in printArgDesc()
922 void StdLibraryFunctionsChecker::printArgValueInfo(ArgNo ArgN, in printArgValueInfo()
1143 ArgNo OtherArg = getOtherArgNo(); in apply()
1756 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, IntRangeVector Ranges, in initFunctionSummaries()
1767 auto operator()(BinaryOperator::Opcode Op, ArgNo OtherArgN) { in initFunctionSummaries()
1791 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries()
1794 auto IsNull = [&](ArgNo ArgN) { in initFunctionSummaries()
1797 auto NotNullBuffer = [&](ArgNo ArgN, ArgNo SizeArg1N, ArgNo SizeArg2N) { in initFunctionSummaries()
2038 ReturnValueCondition(BO_LT, ArgNo(2)), in initFunctionSummaries()
2042 ReturnValueCondition(BO_EQ, ArgNo(2)), in initFunctionSummaries()
2049 .ArgConstraint(NotNullBuffer(ArgNo(0), ArgNo(1), ArgNo(2))) in initFunctionSummaries()
2050 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2051 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
2052 /*BufSizeMultiplier=*/ArgNo(2))); in initFunctionSummaries()
2074 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2121 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2144 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2162 auto ValidFileDescriptorOrAtFdcwd = [&](ArgNo ArgN) { in initFunctionSummaries()
2176 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2177 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2187 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2204 .Case({ReturnValueCondition(BO_EQ, ArgNo(2))}, in initFunctionSummaries()
2207 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2208 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2217 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2218 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2226 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2235 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2249 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2258 ReturnValueCondition(BO_EQ, ArgNo(0))}, in initFunctionSummaries()
2265 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2273 .Case({ReturnValueCondition(BO_EQ, ArgNo(0))}, in initFunctionSummaries()
2276 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2279 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1))) in initFunctionSummaries()
2280 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2291 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2292 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2298 .Case({ReturnValueCondition(BO_EQ, ArgNo(0)), in initFunctionSummaries()
2311 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2322 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2332 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2346 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2347 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2359 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2360 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2379 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2388 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2400 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2408 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2413 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2418 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2423 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2428 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2444 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2454 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2455 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2463 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2473 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2474 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2512 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2513 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2531 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2540 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2541 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2551 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2552 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(1))) in initFunctionSummaries()
2553 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2573 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2592 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2607 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2612 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2619 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2626 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2635 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2641 .Case({ReturnValueCondition(BO_EQ, ArgNo(0))}, in initFunctionSummaries()
2644 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2651 ReturnValueCondition(BO_EQ, ArgNo(0))}, in initFunctionSummaries()
2659 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2661 BufferSize(/*Buffer*/ ArgNo(0), /*BufSize*/ ArgNo(1))) in initFunctionSummaries()
2671 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2680 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2681 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2692 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2702 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2703 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2711 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2721 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2722 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2745 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2746 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2755 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2764 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2781 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2789 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2798 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2799 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2810 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2811 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2812 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(2))) in initFunctionSummaries()
2813 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2821 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2830 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2831 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2845 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2855 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2856 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2866 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2867 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2879 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2880 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2881 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2889 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2928 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2933 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2938 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2943 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2976 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2999 ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3007 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3008 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3009 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3010 /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
3023 ReturnValueCondition(LessThanOrEq, ArgNo(3)), in initFunctionSummaries()
3031 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
3032 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3033 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
3034 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
3035 /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
3048 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
3049 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3050 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(2))) in initFunctionSummaries()
3051 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
3064 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3074 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3082 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3093 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3094 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3157 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3159 BufferSize(/*Buffer=*/ArgNo(1), /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
3186 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3187 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3210 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3211 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3233 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
3245 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3253 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3254 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
3275 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3283 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3284 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
3316 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3324 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3325 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
3365 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3367 BufferSize(/*Buffer=*/ArgNo(3), /*BufSize=*/ArgNo(4))) in initFunctionSummaries()
3382 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3383 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
3391 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3399 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3400 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
3409 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
3435 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1))) in initFunctionSummaries()
3439 BufferSize(/*Buffer=*/ArgNo(2), /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
3443 BufferSize(/*Buffer=*/ArgNo(4), /*BufSize=*/ArgNo(5))) in initFunctionSummaries()
3457 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3485 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3499 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3509 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3530 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3539 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3540 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3548 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3549 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3550 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3558 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3559 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3561 /*Buffer=*/ArgNo(1), in initFunctionSummaries()
3571 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3572 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3577 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3588 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3601 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3638 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3650 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3651 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3658 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3669 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3670 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3678 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3689 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3699 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3708 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3714 .ArgConstraint(NotNullBuffer(ArgNo(0), ArgNo(1), ArgNo(2)))); in initFunctionSummaries()
3872 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3877 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3878 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3884 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1)))); in initFunctionSummaries()
3889 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
3890 /*BufSizeMultiplier=*/ArgNo(2)))); in initFunctionSummaries()
3895 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()