Lines Matching refs:ArgConstraint
650 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker::Summary
1412 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1572 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1577 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1582 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1605 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1606 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1607 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
1677 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1696 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1702 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1723 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1733 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1741 .ArgConstraint( in initFunctionSummaries()
1750 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1751 .ArgConstraint( in initFunctionSummaries()
1760 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1769 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1770 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1777 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1789 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1798 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1799 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1809 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1810 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1811 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1819 .ArgConstraint( in initFunctionSummaries()
1830 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1836 .ArgConstraint( in initFunctionSummaries()
1848 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1854 .ArgConstraint( in initFunctionSummaries()
1863 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1868 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1875 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1876 .ArgConstraint( in initFunctionSummaries()
1882 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1890 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1896 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1903 .ArgConstraint( in initFunctionSummaries()
1912 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1921 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1932 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1942 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1950 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1960 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1961 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1969 .ArgConstraint( in initFunctionSummaries()
1984 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1985 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1994 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2003 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2011 .ArgConstraint( in initFunctionSummaries()
2020 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2028 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2037 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2038 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2049 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2050 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2051 .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2052 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2060 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2069 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2070 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2082 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2083 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2093 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2094 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2104 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2105 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2117 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2118 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2119 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2125 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2132 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2141 .ArgConstraint( in initFunctionSummaries()
2150 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2151 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2157 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2164 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2171 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2177 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2185 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2186 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2191 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2196 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2201 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2209 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2217 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2222 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2232 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2233 .ArgConstraint( in initFunctionSummaries()
2245 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2246 .ArgConstraint( in initFunctionSummaries()
2255 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2267 .ArgConstraint( in initFunctionSummaries()
2281 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2282 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2283 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2285 .ArgConstraint( in initFunctionSummaries()
2300 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2301 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2302 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
2303 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
2305 .ArgConstraint( in initFunctionSummaries()
2317 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2318 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2327 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2338 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2347 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2357 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2358 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2359 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2384 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
2408 .ArgConstraint( in initFunctionSummaries()
2410 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2411 .ArgConstraint( in initFunctionSummaries()
2413 .ArgConstraint( in initFunctionSummaries()
2422 .ArgConstraint( in initFunctionSummaries()
2424 .ArgConstraint( in initFunctionSummaries()
2437 .ArgConstraint( in initFunctionSummaries()
2439 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2440 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2448 .ArgConstraint( in initFunctionSummaries()
2461 .ArgConstraint( in initFunctionSummaries()
2463 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2464 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2472 .ArgConstraint( in initFunctionSummaries()
2484 .ArgConstraint( in initFunctionSummaries()
2486 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2493 .ArgConstraint( in initFunctionSummaries()
2502 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2503 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2529 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2530 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2554 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2567 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2568 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2585 .ArgConstraint( in initFunctionSummaries()
2597 .ArgConstraint( in initFunctionSummaries()
2609 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2610 .ArgConstraint( in initFunctionSummaries()
2612 .ArgConstraint( in initFunctionSummaries()
2626 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2627 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2639 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2640 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2650 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2666 .ArgConstraint( in initFunctionSummaries()
2668 .ArgConstraint( in initFunctionSummaries()
2670 .ArgConstraint( in initFunctionSummaries()
2672 .ArgConstraint( in initFunctionSummaries()
2674 .ArgConstraint( in initFunctionSummaries()
2676 .ArgConstraint( in initFunctionSummaries()
2689 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2703 .ArgConstraint( in initFunctionSummaries()
2715 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2729 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2739 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2758 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2767 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2768 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2776 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2777 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2778 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2786 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2787 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2788 .ArgConstraint(BufferSize( in initFunctionSummaries()
2799 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2800 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2805 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2816 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2828 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2860 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2872 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2873 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2880 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2891 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2892 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2900 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2901 .ArgConstraint( in initFunctionSummaries()
2911 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2921 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2928 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); 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()
2969 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2974 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2975 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2980 .ArgConstraint( in initFunctionSummaries()
2986 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
2992 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()