Lines Matching refs:Range
1179 } Range; in initFunctionSummaries() local
1239 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1241 .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)), in initFunctionSummaries()
1260 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1262 .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')), in initFunctionSummaries()
1267 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1269 .Case({ArgumentCondition(0U, OutOfRange, Range(33, 126)), in initFunctionSummaries()
1275 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1278 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1279 ArgumentCondition(0U, OutOfRange, Range('a', 'z')), in initFunctionSummaries()
1284 .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)), in initFunctionSummaries()
1289 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1291 .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)), in initFunctionSummaries()
1319 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1368 ReturnValueCondition(WithinRange, Range(0, SizeMax))}) in initFunctionSummaries()
1395 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}); in initFunctionSummaries()
1412 Range({-1, -1}, {1, Ssize_tMax}))}); in initFunctionSummaries()
1448 0, WithinRange, Range(0, LongMax)))); in initFunctionSummaries()
1451 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()
1453 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()
1476 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1483 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1485 ArgumentCondition(1, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1493 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1509 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1538 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1547 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1563 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
1580 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
1601 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1625 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1675 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1684 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1697 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1722 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1755 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1757 .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1773 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1785 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1817 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1831 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1837 .Case({ReturnValueCondition(WithinRange, Range(0, 1))}) in initFunctionSummaries()
1839 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1859 0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
1866 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1878 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1923 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
1925 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
1935 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
1937 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
1951 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1961 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
1967 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1978 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
1979 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1985 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2030 .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))}) in initFunctionSummaries()
2031 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2057 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
2081 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2086 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax))))) in initFunctionSummaries()
2094 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2096 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2108 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2118 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2130 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2140 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2151 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2159 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2164 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
2165 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2189 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
2190 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2215 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2224 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
2225 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2240 .Case({ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
2242 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2250 .Case({ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
2252 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2266 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2288 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}) in initFunctionSummaries()
2289 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2318 ArgumentCondition(1, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
2322 ArgumentCondition(3, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
2326 ArgumentCondition(5, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2351 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2544 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2580 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
2585 0U, WithinRange, Range({1, 2}, {4, 5})))); in initFunctionSummaries()