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()
2043 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2044 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2048 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2052 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)), in initFunctionSummaries()
2183 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2220 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2223 ArgumentCondition(0, WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2228 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2230 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2247 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2257 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2355 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2405 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2414 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2416 ArgumentCondition(1, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2425 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2443 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2483 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2501 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
2520 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
2542 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2571 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2574 .Case({ArgumentCondition(1, WithinRange, SingleValue(0)), in initFunctionSummaries()
2577 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2584 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2652 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2694 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2765 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2819 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2828 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2852 ArgumentCondition(0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2858 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2889 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2891 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2902 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2904 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2925 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2934 .Case({ArgumentCondition(2, WithinRange, Range(1, IntMax)), in initFunctionSummaries()
2938 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)), in initFunctionSummaries()
2948 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2958 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)), in initFunctionSummaries()
2962 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)), in initFunctionSummaries()
2973 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3024 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3063 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
3088 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3093 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax))))) in initFunctionSummaries()
3102 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3104 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3117 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3128 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3141 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3152 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3164 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3173 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3181 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3184 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3211 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3214 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3240 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3252 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3255 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3274 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3286 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3301 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3327 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3330 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3350 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3369 ArgumentCondition(1, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
3373 ArgumentCondition(3, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
3377 ArgumentCondition(5, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3405 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3612 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); 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()
3778 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax})))); 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()
3847 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3851 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3855 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3859 .Case({ArgumentCondition( in initFunctionSummaries()