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()
2029 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
2036 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2037 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2039 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2041 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
2043 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
2045 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)), in initFunctionSummaries()
2046 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2075 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}, in initFunctionSummaries()
2092 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
2141 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
2147 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()
2149 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
2151 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
2153 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))}; in initFunctionSummaries()
2155 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()
2159 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()
2164 ArgN, WithinRange, Range({AT_FDCWDv, AT_FDCWDv}, {0, IntMax}), in initFunctionSummaries()
2186 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2232 .Case({ReturnValueCondition(WithinRange, {{0, IntMax}})}, in initFunctionSummaries()
2245 .Case({ReturnValueCondition(WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2247 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2257 .Case({ArgumentCondition(0, WithinRange, Range(0, UCharRangeMax)), in initFunctionSummaries()
2261 ReturnValueCondition(WithinRange, Range(0, UCharRangeMax))}, in initFunctionSummaries()
2263 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2277 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2289 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2299 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2301 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2302 ArgumentCondition(0, WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2306 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2307 ArgumentCondition(0, WithinRange, {{0, UCharRangeMax}})}, in initFunctionSummaries()
2310 0, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})) in initFunctionSummaries()
2323 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2333 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
2376 .Case({ReturnValueCondition(WithinRange, Range(0, LongMax))}, in initFunctionSummaries()
2385 .Case({ReturnValueCondition(WithinRange, Range(0, Off_tMax))}, in initFunctionSummaries()
2435 0, WithinRange, Range(0, LongMax)))); 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()
2904 .Case({ReturnValueCondition(WithinRange, Range(0, 1))}, in initFunctionSummaries()
2907 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2916 ArgumentCondition(0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2923 0, WithinRange, Range(0, IntMax)))); 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()
3000 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3002 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)), in initFunctionSummaries()
3003 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3012 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3022 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)), in initFunctionSummaries()
3024 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3026 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)), in initFunctionSummaries()
3027 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3037 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3090 .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))}, 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()
3246 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3248 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3249 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3252 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3276 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3278 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), 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()
3317 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3319 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3320 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3323 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
3338 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3342 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3350 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3354 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3369 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
3392 ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))}, in initFunctionSummaries()
3394 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), 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()
3745 0U, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
3750 0U, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3755 0U, WithinRange, Range(1, IntMax)))); in initFunctionSummaries()
3760 0U, WithinRange, Range(IntMin, -1)))); in initFunctionSummaries()
3765 0U, WithinRange, Range(IntMin, 0)))); in initFunctionSummaries()
3770 0U, WithinRange, Range(IntMin, 1)))); in initFunctionSummaries()
3775 0U, WithinRange, Range({1, 2}, {4, 6})))); in initFunctionSummaries()
3779 .ArgConstraint(ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3852 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3862 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3863 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3907 .Case({ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3909 .Case({ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()
3915 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3917 ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()
3919 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3921 ReturnValueCondition(WithinRange, SingleValue(2))}, in initFunctionSummaries()
3923 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
3925 ReturnValueCondition(WithinRange, SingleValue(3))}, in initFunctionSummaries()
3928 0U, WithinRange, in initFunctionSummaries()
3930 ReturnValueCondition(WithinRange, SingleValue(4))}, in initFunctionSummaries()