Lines Matching refs:NotNull
1396 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() local
1648 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1649 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1723 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1724 .Case({NotNull(Ret)}, ErrnoIrrelevant, in initFunctionSummaries()
1728 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant, in initFunctionSummaries()
1758 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked) in initFunctionSummaries()
1760 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1761 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1767 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked) 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()
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()
1893 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
1903 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1939 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1940 .ArgConstraint(NotNull(ArgNo(1)))); 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()
1981 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2000 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2018 .ArgConstraint(NotNull(ArgNo(0)))); 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()
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()
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()
2131 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2155 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2164 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2173 .ArgConstraint(NotNull(ArgNo(0)))); 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()
2220 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2222 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2230 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2240 .ArgConstraint(NotNull(ArgNo(1)))); 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()
2289 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2290 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2296 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); 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()
2348 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); 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()
2418 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2444 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2445 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2464 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2465 .ArgConstraint(NotNull(ArgNo(2))) 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()
2521 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2522 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2575 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2604 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2605 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2628 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2629 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
2651 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
2774 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2791 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2792 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
2815 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2854 .ArgConstraint(NotNull(ArgNo(0)))); 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()
2954 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2955 .ArgConstraint(NotNull(ArgNo(1))) 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()
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()
3147 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3152 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3153 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()