Lines Matching refs:ArgumentCondition
1756 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, IntRangeVector Ranges, in initFunctionSummaries() local
1834 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1841 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1844 {ArgumentCondition( in initFunctionSummaries()
1849 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1855 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}), in initFunctionSummaries()
1859 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1861 .Case({ArgumentCondition( in initFunctionSummaries()
1869 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1872 .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)), in initFunctionSummaries()
1879 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1882 .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1889 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1893 .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1900 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1903 .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')), in initFunctionSummaries()
1909 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1914 {ArgumentCondition(0U, OutOfRange, Range(33, 126)), in initFunctionSummaries()
1922 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1926 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1927 ArgumentCondition(0U, OutOfRange, Range('a', 'z')), in initFunctionSummaries()
1932 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1935 .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)), in initFunctionSummaries()
1941 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1944 .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)), in initFunctionSummaries()
1950 .Case({ArgumentCondition( in initFunctionSummaries()
1955 .Case({ArgumentCondition( in initFunctionSummaries()
1965 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}), in initFunctionSummaries()
1970 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1972 .Case({ArgumentCondition(0U, OutOfRange, in initFunctionSummaries()
1981 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1986 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1989 .Case({ArgumentCondition(0U, OutOfRange, in initFunctionSummaries()
1997 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2002 .Case({ArgumentCondition(0U, OutOfRange, in initFunctionSummaries()
2010 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2016 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2022 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2036 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2037 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2041 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2045 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)), in initFunctionSummaries()
2186 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2257 .Case({ArgumentCondition(0, WithinRange, Range(0, UCharRangeMax)), in initFunctionSummaries()
2260 .Case({ArgumentCondition(0, OutOfRange, Range(0, UCharRangeMax)), in initFunctionSummaries()
2277 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2299 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2302 ArgumentCondition(0, WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2307 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2309 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2323 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2333 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2434 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2484 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2493 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2495 ArgumentCondition(1, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2504 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2522 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2562 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2580 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
2599 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
2621 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2650 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2653 .Case({ArgumentCondition(1, WithinRange, SingleValue(0)), in initFunctionSummaries()
2656 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2663 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2731 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2773 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2844 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2898 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2907 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2916 ArgumentCondition(0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2922 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2953 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2955 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2966 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2968 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2989 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2998 .Case({ArgumentCondition(2, WithinRange, Range(1, IntMax)), in initFunctionSummaries()
3002 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)), in initFunctionSummaries()
3012 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3022 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)), in initFunctionSummaries()
3026 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)), in initFunctionSummaries()
3037 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3092 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3131 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
3156 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3161 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax))))) in initFunctionSummaries()
3170 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3172 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3185 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3196 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3209 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3220 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3232 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3241 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3249 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3252 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3279 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3282 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3308 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3320 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3323 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3342 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3354 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3369 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3395 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3398 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3418 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3437 ArgumentCondition(1, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
3441 ArgumentCondition(3, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
3445 ArgumentCondition(5, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3473 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3680 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); 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()
3846 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax})))); 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()
3915 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3919 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3923 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3927 .Case({ArgumentCondition( in initFunctionSummaries()