Lines Matching refs:WithinRange
80 enum RangeKind { OutOfRange, WithinRange }; enumerator
85 return WithinRange; in negateKind()
86 case WithinRange: in negateKind()
346 case WithinRange: in applyOnRange()
1071 if (Kind == WithinRange) { in describe()
1834 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1841 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1847 ReturnValueCondition(WithinRange, SingleValue(0))}, 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()
1864 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1869 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1873 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1879 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1883 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1889 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1894 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1900 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1904 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1909 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1915 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1922 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1926 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1928 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1932 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1936 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1941 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1945 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1951 0U, WithinRange, in initFunctionSummaries()
1958 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1965 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}), in initFunctionSummaries()
1970 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1974 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1981 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1986 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1991 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1997 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2004 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2010 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2016 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2022 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
2030 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
2036 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
2043 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2044 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2046 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2048 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2050 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2052 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)), in initFunctionSummaries()
2053 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2082 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}, in initFunctionSummaries()
2099 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
2144 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()
2146 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
2148 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
2150 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))}; in initFunctionSummaries()
2152 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()
2156 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()
2161 ArgN, WithinRange, Range({AT_FDCWDv, AT_FDCWDv}, {0, IntMax}), in initFunctionSummaries()
2183 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2220 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2222 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2223 ArgumentCondition(0, WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2227 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2228 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2231 0, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})) in initFunctionSummaries()
2247 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2257 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2300 .Case({ReturnValueCondition(WithinRange, Range(0, LongMax))}, in initFunctionSummaries()
2309 .Case({ReturnValueCondition(WithinRange, Range(0, Off_tMax))}, in initFunctionSummaries()
2356 0, WithinRange, Range(0, LongMax)))); 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()
2825 .Case({ReturnValueCondition(WithinRange, Range(0, 1))}, in initFunctionSummaries()
2828 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2852 ArgumentCondition(0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2859 0, WithinRange, Range(0, IntMax)))); 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()
2936 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
2938 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)), in initFunctionSummaries()
2939 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2948 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2958 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)), in initFunctionSummaries()
2960 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
2962 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)), in initFunctionSummaries()
2963 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2973 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3022 .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))}, 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()
3178 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3180 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3181 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3184 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3208 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3210 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), 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()
3249 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3251 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3252 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3255 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3270 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3274 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3282 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3286 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3301 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3324 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3326 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), 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()
3677 0U, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
3682 0U, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3687 0U, WithinRange, Range(1, IntMax)))); in initFunctionSummaries()
3692 0U, WithinRange, Range(IntMin, -1)))); in initFunctionSummaries()
3697 0U, WithinRange, Range(IntMin, 0)))); in initFunctionSummaries()
3702 0U, WithinRange, Range(IntMin, 1)))); in initFunctionSummaries()
3707 0U, WithinRange, Range({1, 2}, {4, 6})))); in initFunctionSummaries()
3711 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3784 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3794 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3795 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3839 .Case({ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3841 .Case({ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()
3847 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3849 ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()
3851 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3853 ReturnValueCondition(WithinRange, SingleValue(2))}, in initFunctionSummaries()
3855 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3857 ReturnValueCondition(WithinRange, SingleValue(3))}, in initFunctionSummaries()
3860 0U, WithinRange, in initFunctionSummaries()
3862 ReturnValueCondition(WithinRange, SingleValue(4))}, in initFunctionSummaries()