Lines Matching refs:ArgumentCondition
1335 auto ArgumentCondition = [](ArgNo ArgN, RangeKind Kind, in initFunctionSummaries() local
1397 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1404 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1407 {ArgumentCondition( in initFunctionSummaries()
1412 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1417 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}), in initFunctionSummaries()
1421 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1423 .Case({ArgumentCondition( in initFunctionSummaries()
1431 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1434 .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)), in initFunctionSummaries()
1441 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1444 .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}), in initFunctionSummaries()
1451 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1455 .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}), in initFunctionSummaries()
1462 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')), in initFunctionSummaries()
1465 .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')), in initFunctionSummaries()
1471 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)), in initFunctionSummaries()
1476 {ArgumentCondition(0U, OutOfRange, Range(33, 126)), in initFunctionSummaries()
1484 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')), in initFunctionSummaries()
1488 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)), in initFunctionSummaries()
1489 ArgumentCondition(0U, OutOfRange, Range('a', 'z')), in initFunctionSummaries()
1494 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1497 .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)), in initFunctionSummaries()
1503 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)), in initFunctionSummaries()
1506 .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)), in initFunctionSummaries()
1512 .Case({ArgumentCondition( in initFunctionSummaries()
1517 .Case({ArgumentCondition( in initFunctionSummaries()
1527 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}), in initFunctionSummaries()
1532 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1534 .Case({ArgumentCondition(0U, OutOfRange, in initFunctionSummaries()
1543 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')), in initFunctionSummaries()
1548 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}, in initFunctionSummaries()
1551 .Case({ArgumentCondition(0U, OutOfRange, in initFunctionSummaries()
1559 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1564 .Case({ArgumentCondition(0U, OutOfRange, in initFunctionSummaries()
1572 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1577 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1582 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1702 .ArgConstraint(ArgumentCondition( 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()
1760 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1777 .ArgConstraint(ArgumentCondition( 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()
2132 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2142 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2164 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2171 .ArgConstraint(ArgumentCondition( 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()
2286 ArgumentCondition(2, WithinRange, Range(0, SizeMax)))); in initFunctionSummaries()
2300 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2306 ArgumentCondition(3, WithinRange, Range(0, SizeMax)))); 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()
2502 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2529 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2554 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2567 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2586 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2598 ArgumentCondition(0, WithinRange, Range(0, IntMax)))); in initFunctionSummaries()
2613 ArgumentCondition(4, WithinRange, Range(0, Socklen_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()
2942 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2949 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2953 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
2959 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
2960 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2964 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))) in initFunctionSummaries()
2965 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2)))); in initFunctionSummaries()