Lines Matching refs:ArgNo
103 typedef uint32_t ArgNo; typedef in __anon892b0c920111::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()
2045 ReturnValueCondition(BO_LT, ArgNo(2)), in initFunctionSummaries()
2049 ReturnValueCondition(BO_EQ, ArgNo(2)), in initFunctionSummaries()
2056 .ArgConstraint(NotNullBuffer(ArgNo(0), ArgNo(1), ArgNo(2))) in initFunctionSummaries()
2057 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2058 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
2059 /*BufSizeMultiplier=*/ArgNo(2))); in initFunctionSummaries()
2081 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2128 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2159 auto ValidFileDescriptorOrAtFdcwd = [&](ArgNo ArgN) { in initFunctionSummaries()
2173 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2174 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2184 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2201 .Case({ReturnValueCondition(BO_EQ, ArgNo(2))}, in initFunctionSummaries()
2204 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2205 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2213 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2219 .Case({ReturnValueCondition(BO_EQ, ArgNo(0)), in initFunctionSummaries()
2232 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2246 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2256 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2270 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2271 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2283 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2284 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2303 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2312 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2321 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2329 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2334 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2339 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2344 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2349 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2365 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2375 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2376 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2384 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2394 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2395 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2433 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2434 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2452 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2461 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2462 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2472 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2473 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(1))) in initFunctionSummaries()
2474 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2494 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2513 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2528 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2533 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2540 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2547 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2556 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2562 .Case({ReturnValueCondition(BO_EQ, ArgNo(0))}, in initFunctionSummaries()
2565 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2572 ReturnValueCondition(BO_EQ, ArgNo(0))}, in initFunctionSummaries()
2580 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2582 BufferSize(/*Buffer*/ ArgNo(0), /*BufSize*/ ArgNo(1))) in initFunctionSummaries()
2592 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2601 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2602 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2613 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2623 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2624 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2632 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2642 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2643 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2666 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2667 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2676 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2685 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2702 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2710 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2719 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2720 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2731 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2732 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2733 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(2))) in initFunctionSummaries()
2734 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2742 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2751 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2752 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2766 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2776 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2777 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2787 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2788 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2800 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2801 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2802 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2810 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2836 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2837 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2843 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2864 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2869 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2874 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2879 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2912 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2935 ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
2943 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2944 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2945 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2946 /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
2959 ReturnValueCondition(LessThanOrEq, ArgNo(3)), in initFunctionSummaries()
2967 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2968 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2969 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
2970 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
2971 /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
2984 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(0))) in initFunctionSummaries()
2985 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2986 .ArgConstraint(ValidFileDescriptorOrAtFdcwd(ArgNo(2))) in initFunctionSummaries()
2987 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2996 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3006 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3014 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3025 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3026 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3089 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3091 BufferSize(/*Buffer=*/ArgNo(1), /*BufSize=*/ArgNo(2))) in initFunctionSummaries()
3118 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3119 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3142 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3143 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3165 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
3177 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3185 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3186 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
3207 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3215 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3216 /*BufSize=*/ArgNo(2))); in initFunctionSummaries()
3248 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3256 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3257 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
3297 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3299 BufferSize(/*Buffer=*/ArgNo(3), /*BufSize=*/ArgNo(4))) in initFunctionSummaries()
3314 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3315 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
3323 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)), in initFunctionSummaries()
3331 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3332 /*BufSize=*/ArgNo(2)))); in initFunctionSummaries()
3341 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
3367 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1))) in initFunctionSummaries()
3371 BufferSize(/*Buffer=*/ArgNo(2), /*BufSize=*/ArgNo(3))) in initFunctionSummaries()
3375 BufferSize(/*Buffer=*/ArgNo(4), /*BufSize=*/ArgNo(5))) in initFunctionSummaries()
3389 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3417 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3431 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3441 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3462 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3471 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3472 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3480 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3481 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3482 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3490 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3491 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3493 /*Buffer=*/ArgNo(1), in initFunctionSummaries()
3503 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3504 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3509 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3520 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3533 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3570 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3582 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3583 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3590 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3601 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3602 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3610 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3621 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3631 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3640 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3646 .ArgConstraint(NotNullBuffer(ArgNo(0), ArgNo(1), ArgNo(2)))); in initFunctionSummaries()
3804 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3809 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3810 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3816 BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1)))); in initFunctionSummaries()
3821 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
3822 /*BufSizeMultiplier=*/ArgNo(2)))); in initFunctionSummaries()
3827 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()