Lines Matching refs:ArgConstraint
649 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint() function in __anon2143b5530111::StdLibraryFunctionsChecker::Summary
1446 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1606 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1611 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1616 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1648 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1649 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1653 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
1723 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1760 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1761 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1781 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
1782 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1791 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1802 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1803 .ArgConstraint(ArgumentCondition(2, WithinRange, {{0, 2}}))); in initFunctionSummaries()
1816 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1817 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1829 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1830 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1842 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1850 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1858 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1863 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1868 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1873 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1878 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1884 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1893 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1903 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1911 .ArgConstraint( in initFunctionSummaries()
1920 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1921 .ArgConstraint( in initFunctionSummaries()
1930 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1939 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1940 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1947 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
1959 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1968 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1969 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1979 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1980 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
1981 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1989 .ArgConstraint( in initFunctionSummaries()
2000 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2006 .ArgConstraint( in initFunctionSummaries()
2018 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2024 .ArgConstraint( in initFunctionSummaries()
2033 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2038 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2045 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2046 .ArgConstraint( in initFunctionSummaries()
2052 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2060 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2066 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2073 .ArgConstraint( in initFunctionSummaries()
2082 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2091 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2102 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2112 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2120 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2130 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2131 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2139 .ArgConstraint( in initFunctionSummaries()
2154 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2155 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2164 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2173 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2181 .ArgConstraint( in initFunctionSummaries()
2190 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2198 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2207 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2208 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2219 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2220 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2221 .ArgConstraint(ArgumentCondition(2, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2222 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2230 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2239 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2240 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2253 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2254 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2264 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2265 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2275 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2276 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2288 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2289 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2290 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2296 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2303 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2312 .ArgConstraint( in initFunctionSummaries()
2321 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2322 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2328 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2335 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2342 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2348 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2356 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2357 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2362 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2367 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2372 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2380 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2385 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2395 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2396 .ArgConstraint( in initFunctionSummaries()
2408 .ArgConstraint(ArgumentCondition(1, WithinRange, Range(1, SizeMax))) in initFunctionSummaries()
2409 .ArgConstraint( in initFunctionSummaries()
2418 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2430 .ArgConstraint( in initFunctionSummaries()
2444 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2445 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2446 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2448 .ArgConstraint( in initFunctionSummaries()
2463 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2464 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2465 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
2466 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(2), in initFunctionSummaries()
2468 .ArgConstraint( in initFunctionSummaries()
2480 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2481 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2490 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2501 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2510 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2520 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2521 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2522 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2549 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))); in initFunctionSummaries()
2573 .ArgConstraint( in initFunctionSummaries()
2575 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2576 .ArgConstraint( in initFunctionSummaries()
2578 .ArgConstraint( in initFunctionSummaries()
2587 .ArgConstraint( in initFunctionSummaries()
2589 .ArgConstraint( in initFunctionSummaries()
2602 .ArgConstraint( in initFunctionSummaries()
2604 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2605 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2613 .ArgConstraint( in initFunctionSummaries()
2626 .ArgConstraint( in initFunctionSummaries()
2628 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2629 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2637 .ArgConstraint( in initFunctionSummaries()
2649 .ArgConstraint( in initFunctionSummaries()
2651 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2658 .ArgConstraint( in initFunctionSummaries()
2667 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2668 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2694 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2695 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2719 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
2732 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2733 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2750 .ArgConstraint( in initFunctionSummaries()
2762 .ArgConstraint( in initFunctionSummaries()
2774 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2775 .ArgConstraint( in initFunctionSummaries()
2777 .ArgConstraint( in initFunctionSummaries()
2791 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2792 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2804 .ArgConstraint(ArgumentCondition(0, WithinRange, Range(0, IntMax))) in initFunctionSummaries()
2805 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2815 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2831 .ArgConstraint( in initFunctionSummaries()
2833 .ArgConstraint( in initFunctionSummaries()
2835 .ArgConstraint( in initFunctionSummaries()
2837 .ArgConstraint( in initFunctionSummaries()
2839 .ArgConstraint( in initFunctionSummaries()
2841 .ArgConstraint( in initFunctionSummaries()
2854 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2869 .ArgConstraint( in initFunctionSummaries()
2881 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2895 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2905 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2926 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2935 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2936 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2944 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2945 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2946 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(1), in initFunctionSummaries()
2954 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2955 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2956 .ArgConstraint(BufferSize( in initFunctionSummaries()
2967 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2968 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2973 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2984 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2997 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3034 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3046 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3047 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3054 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3065 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3066 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3074 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3075 .ArgConstraint( in initFunctionSummaries()
3085 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3095 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3102 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); 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()
3120 .ArgConstraint(ArgumentCondition( in initFunctionSummaries()
3127 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3131 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3137 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3138 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3142 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))) in initFunctionSummaries()
3143 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2)))); in initFunctionSummaries()
3147 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3152 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3153 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3158 .ArgConstraint( in initFunctionSummaries()
3164 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), /*BufSize=*/ArgNo(1), in initFunctionSummaries()
3170 .ArgConstraint(BufferSize(/*Buffer=*/ArgNo(0), in initFunctionSummaries()