Lines Matching refs:NotNull
1370 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() local
1605 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1606 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1677 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1678 .Case({NotNull(Ret)}, ErrnoIrrelevant, in initFunctionSummaries()
1682 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant, in initFunctionSummaries()
1696 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1723 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1733 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1769 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1770 .ArgConstraint(NotNull(ArgNo(1)))); 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()
1811 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
1830 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1848 .ArgConstraint(NotNull(ArgNo(0)))); 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()
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()
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()
1961 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1985 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1994 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2003 .ArgConstraint(NotNull(ArgNo(0)))); 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()
2050 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2052 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2060 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2070 .ArgConstraint(NotNull(ArgNo(1)))); 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()
2118 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2119 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2125 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); 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()
2177 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); 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()
2255 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2281 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2282 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2301 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2302 .ArgConstraint(NotNull(ArgNo(2))) 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()
2358 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2359 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2410 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2439 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2440 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2463 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2464 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2486 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2609 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2626 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2627 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2650 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2689 .ArgConstraint(NotNull(ArgNo(0)))); 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()
2786 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2787 .ArgConstraint(NotNull(ArgNo(1))) 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()
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()
2969 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2974 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2975 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()