Lines Matching refs:WithinRange
165 enum RangeKind { OutOfRange, WithinRange }; enumerator
205 case WithinRange: in apply()
215 Tmp.Kind = WithinRange; in negate()
217 case WithinRange: in negate()
1211 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1217 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
1222 ReturnValueCondition(WithinRange, SingleValue(0))}) in initFunctionSummaries()
1224 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1228 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}), in initFunctionSummaries()
1231 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
1235 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1239 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1242 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1246 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1249 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1253 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1256 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1260 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1263 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1267 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1270 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1275 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1278 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1280 ReturnValueCondition(WithinRange, SingleValue(0))}) in initFunctionSummaries()
1282 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
1285 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1289 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1292 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1297 0U, WithinRange, in initFunctionSummaries()
1303 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1308 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}), in initFunctionSummaries()
1311 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
1314 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1319 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1322 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
1326 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1330 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1335 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()
1340 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1345 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1350 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1356 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1361 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1368 ReturnValueCondition(WithinRange, Range(0, SizeMax))}) in initFunctionSummaries()
1395 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}); in initFunctionSummaries()
1411 .Case({ReturnValueCondition(WithinRange, 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()
2013 .Case({ReturnValueCondition(WithinRange, SingleValue(-1))}) in initFunctionSummaries()
2021 .Case({ReturnValueCondition(WithinRange, SingleValue(-1))}) 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()
2576 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2580 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
2585 0U, WithinRange, Range({1, 2}, {4, 5})))); in initFunctionSummaries()
2591 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2601 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
2602 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()