Lines Matching refs:ArgConstraint
503 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint() function in __anon6255e2070111::StdLibraryFunctionsChecker::Summary
1223 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1339 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1344 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1349 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1369 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1370 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1371 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
1441 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1447 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1460 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1469 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1475 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1483 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1484 .ArgConstraint( in initFunctionSummaries()
1492 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1501 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1502 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1508 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1519 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1527 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1528 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1537 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1538 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1539 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1546 .ArgConstraint( in initFunctionSummaries()
1556 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1562 .ArgConstraint( in initFunctionSummaries()
1573 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1579 .ArgConstraint( in initFunctionSummaries()
1587 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1592 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1599 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1600 .ArgConstraint( in initFunctionSummaries()
1606 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1613 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1618 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1624 .ArgConstraint( in initFunctionSummaries()
1632 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1640 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1650 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1659 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1666 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1675 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1676 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1683 .ArgConstraint( in initFunctionSummaries()
1697 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1698 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1706 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1714 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1721 .ArgConstraint( in initFunctionSummaries()
1729 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1736 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1744 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1745 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1755 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1756 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1757 .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1758 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
1765 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1773 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1774 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1785 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1786 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1795 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1796 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1805 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1806 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1817 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1818 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1819 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1824 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1830 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1838 .ArgConstraint( in initFunctionSummaries()
1846 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1847 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1852 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1858 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1865 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1871 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1878 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1879 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1884 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1889 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1894 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1901 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1909 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1914 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1923 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
1924 .ArgConstraint( in initFunctionSummaries()
1935 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
1936 .ArgConstraint( in initFunctionSummaries()
1944 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1950 .ArgConstraint( in initFunctionSummaries()
1962 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1963 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1964 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
1966 .ArgConstraint( in initFunctionSummaries()
1979 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1980 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1981 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
1982 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
1984 .ArgConstraint( in initFunctionSummaries()
1995 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1996 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2004 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2014 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2022 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2031 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2032 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2033 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2057 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
2080 .ArgConstraint( in initFunctionSummaries()
2082 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2083 .ArgConstraint( in initFunctionSummaries()
2085 .ArgConstraint( in initFunctionSummaries()
2093 .ArgConstraint( in initFunctionSummaries()
2095 .ArgConstraint( in initFunctionSummaries()
2107 .ArgConstraint( in initFunctionSummaries()
2109 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2110 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2117 .ArgConstraint( in initFunctionSummaries()
2129 .ArgConstraint( in initFunctionSummaries()
2131 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2132 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2139 .ArgConstraint( in initFunctionSummaries()
2150 .ArgConstraint( in initFunctionSummaries()
2152 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2158 .ArgConstraint( in initFunctionSummaries()
2165 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2166 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2190 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2191 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2214 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2225 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2226 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2241 .ArgConstraint( in initFunctionSummaries()
2251 .ArgConstraint( in initFunctionSummaries()
2262 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2263 .ArgConstraint( in initFunctionSummaries()
2265 .ArgConstraint( in initFunctionSummaries()
2278 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2279 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2289 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2290 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2299 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2315 .ArgConstraint( in initFunctionSummaries()
2317 .ArgConstraint( in initFunctionSummaries()
2319 .ArgConstraint( in initFunctionSummaries()
2321 .ArgConstraint( in initFunctionSummaries()
2323 .ArgConstraint( in initFunctionSummaries()
2325 .ArgConstraint( in initFunctionSummaries()
2337 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2350 .ArgConstraint( in initFunctionSummaries()
2361 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2374 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2383 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2402 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2411 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2412 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2420 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2421 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2422 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2430 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2431 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2432 .ArgConstraint(BufferSize( in initFunctionSummaries()
2443 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2444 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2449 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2459 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2470 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2502 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2514 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2515 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2522 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2533 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2534 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2542 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2543 .ArgConstraint( in initFunctionSummaries()
2553 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2563 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2570 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2576 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2580 .ArgConstraint(ArgumentCondition(0U, WithinRange, Range(1, 2)))); in initFunctionSummaries()
2584 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2591 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2595 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
2601 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
2602 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
2606 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))) in initFunctionSummaries()
2607 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2)))); in initFunctionSummaries()
2611 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2616 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2617 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2622 .ArgConstraint( in initFunctionSummaries()
2628 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
2634 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()