Lines Matching refs:ArgConstraint
780 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint() function in __anon4d759d9c0111::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()
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()
2121 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2144 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2176 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2177 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2186 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2187 .ArgConstraint(NotNull(ArgNo(1)))); 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()
2265 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2276 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2277 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2278 .ArgConstraint( in initFunctionSummaries()
2280 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2291 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2292 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2309 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2311 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2322 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2323 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2332 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2333 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); 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()
2434 .ArgConstraint(ArgumentCondition( 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()
2483 .ArgConstraint( in initFunctionSummaries()
2493 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2494 .ArgConstraint( in initFunctionSummaries()
2503 .ArgConstraint( in initFunctionSummaries()
2512 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2513 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2521 .ArgConstraint( 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()
2561 .ArgConstraint( in initFunctionSummaries()
2573 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2579 .ArgConstraint( in initFunctionSummaries()
2592 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2598 .ArgConstraint( 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()
2620 .ArgConstraint( in initFunctionSummaries()
2626 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2635 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2644 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2659 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2660 .ArgConstraint( in initFunctionSummaries()
2662 .ArgConstraint( 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()
2730 .ArgConstraint( 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()
2772 .ArgConstraint( 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()
2844 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) 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()
2897 .ArgConstraint( in initFunctionSummaries()
2906 .ArgConstraint( in initFunctionSummaries()
2915 .ArgConstraint( in initFunctionSummaries()
2922 .ArgConstraint(ArgumentCondition( 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()
2953 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2954 .ArgConstraint( in initFunctionSummaries()
2966 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2967 .ArgConstraint( in initFunctionSummaries()
2976 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2988 .ArgConstraint( in initFunctionSummaries()
3007 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3008 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3009 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3011 .ArgConstraint( 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()
3036 .ArgConstraint( 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()
3092 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3093 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3094 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3131 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
3155 .ArgConstraint( in initFunctionSummaries()
3157 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3158 .ArgConstraint( in initFunctionSummaries()
3160 .ArgConstraint( in initFunctionSummaries()
3169 .ArgConstraint( in initFunctionSummaries()
3171 .ArgConstraint( in initFunctionSummaries()
3184 .ArgConstraint( in initFunctionSummaries()
3186 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3187 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3195 .ArgConstraint( in initFunctionSummaries()
3208 .ArgConstraint( in initFunctionSummaries()
3210 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3211 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3219 .ArgConstraint( in initFunctionSummaries()
3231 .ArgConstraint( in initFunctionSummaries()
3233 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
3240 .ArgConstraint( in initFunctionSummaries()
3252 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3253 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3282 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3283 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3307 .ArgConstraint( in initFunctionSummaries()
3323 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3324 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3341 .ArgConstraint( in initFunctionSummaries()
3353 .ArgConstraint( in initFunctionSummaries()
3365 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3366 .ArgConstraint( in initFunctionSummaries()
3368 .ArgConstraint( in initFunctionSummaries()
3382 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3383 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
3398 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3399 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
3409 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
3417 .ArgConstraint( in initFunctionSummaries()
3434 .ArgConstraint( in initFunctionSummaries()
3436 .ArgConstraint( in initFunctionSummaries()
3438 .ArgConstraint( in initFunctionSummaries()
3440 .ArgConstraint( in initFunctionSummaries()
3442 .ArgConstraint( in initFunctionSummaries()
3444 .ArgConstraint( in initFunctionSummaries()
3457 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3472 .ArgConstraint( 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()
3560 .ArgConstraint(BufferSize( 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()
3679 .ArgConstraint( 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()
3720 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0)))); in initFunctionSummaries()
3724 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3728 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
3732 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(-1, 1)))); in initFunctionSummaries()
3736 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(-2, -1)))); in initFunctionSummaries()
3740 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(-10, 10)))); in initFunctionSummaries()
3744 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3749 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3754 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3759 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3764 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3769 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3774 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3779 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3786 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0)))); in initFunctionSummaries()
3790 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3794 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(1, 2)))); in initFunctionSummaries()
3798 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-1, 1)))); in initFunctionSummaries()
3802 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-2, -1)))); in initFunctionSummaries()
3806 .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-10, 10)))); in initFunctionSummaries()
3810 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3815 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3820 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3825 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3830 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3835 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3840 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3845 .ArgConstraint( in initFunctionSummaries()
3852 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3856 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3862 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3863 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3867 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))) in initFunctionSummaries()
3868 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(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()
3883 .ArgConstraint( in initFunctionSummaries()
3889 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
3895 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()