Lines Matching refs:WithinRange
167 enum RangeKind { OutOfRange, WithinRange }; enumerator
207 case WithinRange: in apply()
217 Tmp.Kind = WithinRange; in negate()
219 case WithinRange: in negate()
1431 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1438 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1444 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1447 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1451 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}), in initFunctionSummaries()
1455 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1460 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1465 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1469 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1475 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1479 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1485 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1490 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1496 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1500 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1505 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1511 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1518 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1522 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1524 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1528 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1532 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1537 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1541 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1547 0U, WithinRange, in initFunctionSummaries()
1554 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1561 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}), in initFunctionSummaries()
1566 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1570 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1577 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1582 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1587 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1593 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1600 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1607 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1612 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1617 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1623 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1629 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1636 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
1637 ArgumentCondition(2U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
1639 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
1641 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)), in initFunctionSummaries()
1643 ReturnValueCondition(WithinRange, Range(0, SizeMax))}, in initFunctionSummaries()
1645 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)), in initFunctionSummaries()
1646 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1677 ReturnValueCondition(WithinRange, Range(-1, Ssize_tMax))}, in initFunctionSummaries()
1694 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1739 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, 0))}; in initFunctionSummaries()
1741 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
1743 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
1745 ConstraintSet{ReturnValueCondition(WithinRange, Range(0, IntMax))}; in initFunctionSummaries()
1749 ConstraintSet{ReturnValueCondition(WithinRange, Range(-1, IntMax))}; in initFunctionSummaries()
1789 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
1803 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
1839 .Case({ReturnValueCondition(WithinRange, Range(1, LongMax))}, in initFunctionSummaries()
1885 0, WithinRange, Range(0, LongMax)))); in initFunctionSummaries()
1912 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1920 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1922 ArgumentCondition(1, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1931 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1948 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
1980 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1990 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2007 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
2025 ArgumentCondition(0, WithinRange, Range(0, UnsignedIntMax)))); in initFunctionSummaries()
2047 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2074 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2130 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2140 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2154 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2182 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2219 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2221 .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2239 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2253 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2288 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2304 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2310 .Case({ReturnValueCondition(WithinRange, Range(0, 1))}, in initFunctionSummaries()
2313 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2336 0, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2343 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2356 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2395 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2397 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2408 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2410 ArgumentCondition(4, WithinRange, Range(-1, IntMax)))); in initFunctionSummaries()
2431 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2441 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2449 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2460 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2463 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2469 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2499 .Case({ReturnValueCondition(WithinRange, SingleValue(-1))}, in initFunctionSummaries()
2508 .Case({ReturnValueCondition(WithinRange, SingleValue(-1))}, in initFunctionSummaries()
2518 .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))}, in initFunctionSummaries()
2520 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2549 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
2574 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2579 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax))))) in initFunctionSummaries()
2588 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2590 ArgumentCondition(2, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2603 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2614 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2627 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2638 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2650 ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2659 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2664 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2667 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2691 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2694 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2720 0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2729 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2732 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2747 .Case({ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2751 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2759 .Case({ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2763 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2778 ArgumentCondition(4, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2801 ReturnValueCondition(WithinRange, Range(0, Ssize_tMax))}, in initFunctionSummaries()
2804 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2834 ArgumentCondition(1, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
2838 ArgumentCondition(3, WithinRange, Range(0, Socklen_tMax))) in initFunctionSummaries()
2842 ArgumentCondition(5, WithinRange, Range(0, Socklen_tMax)))); in initFunctionSummaries()
2870 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
3076 ArgumentCondition(1, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
3108 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0)))); in initFunctionSummaries()
3112 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3116 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
3121 0U, WithinRange, Range({1, 2}, {4, 5})))); in initFunctionSummaries()
3127 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3137 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3138 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3182 .Case({ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3184 .Case({ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()