Lines Matching refs:WithinRange
170 enum RangeKind { OutOfRange, WithinRange }; enumerator
210 case WithinRange: in apply()
220 Tmp.Kind = WithinRange; in negate()
222 case WithinRange: in negate()
1397 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1404 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1410 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1413 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1417 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}), in initFunctionSummaries()
1421 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1426 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1431 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1435 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1441 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1445 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1451 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1456 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1462 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1466 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1471 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1477 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1484 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1488 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1490 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1494 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1498 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1503 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1507 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1513 0U, WithinRange, in initFunctionSummaries()
1520 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1527 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}), in initFunctionSummaries()
1532 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1536 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1543 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1548 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1553 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1559 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1566 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1573 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1578 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1583 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1589 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1595 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1603 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
1631 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}, in initFunctionSummaries()
1648 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1703 0, WithinRange, Range(0, LongMax)))); in initFunctionSummaries()
1706 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()
1708 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
1710 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
1712 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()
1714 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()
1742 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1750 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1752 ArgumentCondition(1, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1761 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1778 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1810 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1820 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1837 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
1855 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
1877 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1904 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
1960 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1970 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1984 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2012 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2049 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2051 .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2069 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2082 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2117 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2133 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2139 .Case({ReturnValueCondition(WithinRange, Range(0, 1))}, in initFunctionSummaries()
2142 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2165 0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2172 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2185 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2232 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2234 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2245 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2247 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2268 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2278 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2286 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2297 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2300 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2306 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2336 .Case({ReturnValueCondition(WithinRange, SingleValue(-1))}, in initFunctionSummaries()
2345 .Case({ReturnValueCondition(WithinRange, SingleValue(-1))}, in initFunctionSummaries()
2355 .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))}, in initFunctionSummaries()
2357 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2384 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
2409 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2414 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax))))) in initFunctionSummaries()
2423 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2425 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2438 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2449 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2462 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2473 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2485 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2494 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2499 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2502 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2526 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2529 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2555 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2564 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2567 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2582 .Case({ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2586 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2594 .Case({ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2598 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2613 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2636 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2639 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2669 ArgumentCondition(1, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
2673 ArgumentCondition(3, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
2677 ArgumentCondition(5, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2704 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2902 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2934 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2938 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
2943 0U, WithinRange, Range({1, 2}, {4, 5})))); in initFunctionSummaries()
2949 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2959 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
2960 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()