Lines Matching refs:ArgConstraint
780 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint() function in __anon892b0c920111::StdLibraryFunctionsChecker::Summary
1849 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2010 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2016 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2022 .ArgConstraint(ArgumentCondition(0U, WithinRange, 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()
2128 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2173 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2174 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2183 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2184 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2204 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2205 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2213 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2230 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2232 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2246 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2247 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2256 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2257 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); 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()
2355 .ArgConstraint(ArgumentCondition( 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()
2404 .ArgConstraint( in initFunctionSummaries()
2414 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2415 .ArgConstraint( in initFunctionSummaries()
2424 .ArgConstraint( in initFunctionSummaries()
2433 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2434 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2442 .ArgConstraint( 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()
2482 .ArgConstraint( in initFunctionSummaries()
2494 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2500 .ArgConstraint( in initFunctionSummaries()
2513 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2519 .ArgConstraint( 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()
2541 .ArgConstraint( in initFunctionSummaries()
2547 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2556 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2565 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2580 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2581 .ArgConstraint( in initFunctionSummaries()
2583 .ArgConstraint( 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()
2651 .ArgConstraint( 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()
2693 .ArgConstraint( 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()
2765 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) 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()
2818 .ArgConstraint( in initFunctionSummaries()
2827 .ArgConstraint( 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()
2851 .ArgConstraint( in initFunctionSummaries()
2858 .ArgConstraint(ArgumentCondition( 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()
2889 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2890 .ArgConstraint( in initFunctionSummaries()
2902 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2903 .ArgConstraint( in initFunctionSummaries()
2912 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2924 .ArgConstraint( in initFunctionSummaries()
2943 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2944 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2945 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2947 .ArgConstraint( 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()
2972 .ArgConstraint( 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()
3024 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3025 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3026 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3063 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
3087 .ArgConstraint( in initFunctionSummaries()
3089 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3090 .ArgConstraint( in initFunctionSummaries()
3092 .ArgConstraint( in initFunctionSummaries()
3101 .ArgConstraint( in initFunctionSummaries()
3103 .ArgConstraint( in initFunctionSummaries()
3116 .ArgConstraint( in initFunctionSummaries()
3118 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3119 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3127 .ArgConstraint( in initFunctionSummaries()
3140 .ArgConstraint( in initFunctionSummaries()
3142 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3143 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3151 .ArgConstraint( in initFunctionSummaries()
3163 .ArgConstraint( in initFunctionSummaries()
3165 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
3172 .ArgConstraint( in initFunctionSummaries()
3184 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3185 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3214 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3215 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3239 .ArgConstraint( in initFunctionSummaries()
3255 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3256 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3273 .ArgConstraint( in initFunctionSummaries()
3285 .ArgConstraint( in initFunctionSummaries()
3297 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3298 .ArgConstraint( in initFunctionSummaries()
3300 .ArgConstraint( in initFunctionSummaries()
3314 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3315 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
3330 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3331 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3341 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
3349 .ArgConstraint( in initFunctionSummaries()
3366 .ArgConstraint( in initFunctionSummaries()
3368 .ArgConstraint( in initFunctionSummaries()
3370 .ArgConstraint( in initFunctionSummaries()
3372 .ArgConstraint( in initFunctionSummaries()
3374 .ArgConstraint( in initFunctionSummaries()
3376 .ArgConstraint( in initFunctionSummaries()
3389 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3404 .ArgConstraint( 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()
3492 .ArgConstraint(BufferSize( 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()
3611 .ArgConstraint( 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()
3652 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0)))); in initFunctionSummaries()
3656 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3660 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
3664 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(-1, 1)))); in initFunctionSummaries()
3668 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(-2, -1)))); in initFunctionSummaries()
3672 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(-10, 10)))); in initFunctionSummaries()
3676 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3681 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3686 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3691 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3696 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3701 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3706 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3711 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3718 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0)))); in initFunctionSummaries()
3722 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3726 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(1, 2)))); in initFunctionSummaries()
3730 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-1, 1)))); in initFunctionSummaries()
3734 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-2, -1)))); in initFunctionSummaries()
3738 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-10, 10)))); in initFunctionSummaries()
3742 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3747 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3752 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3757 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3762 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3767 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3772 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3777 .ArgConstraint( in initFunctionSummaries()
3784 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3788 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3794 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3795 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3799 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))) in initFunctionSummaries()
3800 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(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()
3815 .ArgConstraint( in initFunctionSummaries()
3821 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
3827 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()