Lines Matching defs:NotNull
1791 auto NotNull = [&](ArgNo ArgN) {
2050 .ArgConstraint(NotNull(ArgNo(3)))
2121 .ArgConstraint(NotNull(ArgNo(0)))
2122 .Case({NotNull(Ret)}, ErrnoIrrelevant,
2126 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant,
2144 .ArgConstraint(NotNull(ArgNo(0))));
2174 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2176 .ArgConstraint(NotNull(ArgNo(0)))
2177 .ArgConstraint(NotNull(ArgNo(1))));
2184 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2187 .ArgConstraint(NotNull(ArgNo(1))));
2193 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2207 .ArgConstraint(NotNull(ArgNo(1)))
2208 .ArgConstraint(NotNull(ArgNo(2))));
2215 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2217 .ArgConstraint(NotNull(ArgNo(0)))
2218 .ArgConstraint(NotNull(ArgNo(1))));
2226 .ArgConstraint(NotNull(ArgNo(0))));
2235 .ArgConstraint(NotNull(ArgNo(0))));
2249 .ArgConstraint(NotNull(ArgNo(0))));
2265 .ArgConstraint(NotNull(ArgNo(1))));
2276 .ArgConstraint(NotNull(ArgNo(0)))
2280 .ArgConstraint(NotNull(ArgNo(2))));
2291 .ArgConstraint(NotNull(ArgNo(0)))
2292 .ArgConstraint(NotNull(ArgNo(1))));
2311 .ArgConstraint(NotNull(ArgNo(1))));
2322 .ArgConstraint(NotNull(ArgNo(0)))
2332 .ArgConstraint(NotNull(ArgNo(0)))
2346 .ArgConstraint(NotNull(ArgNo(0)))
2347 .ArgConstraint(NotNull(ArgNo(1))));
2359 .ArgConstraint(NotNull(ArgNo(0)))
2360 .ArgConstraint(NotNull(ArgNo(1))));
2379 .ArgConstraint(NotNull(ArgNo(0))));
2388 .ArgConstraint(NotNull(ArgNo(0))));
2400 .ArgConstraint(NotNull(ArgNo(0))));
2408 .ArgConstraint(NotNull(ArgNo(0))));
2413 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2418 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2423 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2428 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2444 .ArgConstraint(NotNull(ArgNo(0))));
2455 .ArgConstraint(NotNull(ArgNo(1))));
2463 .ArgConstraint(NotNull(ArgNo(0))));
2474 .ArgConstraint(NotNull(ArgNo(1))));
2512 .ArgConstraint(NotNull(ArgNo(0)))
2513 .ArgConstraint(NotNull(ArgNo(1))));
2531 .ArgConstraint(NotNull(ArgNo(0))));
2540 .ArgConstraint(NotNull(ArgNo(0)))
2541 .ArgConstraint(NotNull(ArgNo(1))));
2551 .ArgConstraint(NotNull(ArgNo(0)))
2553 .ArgConstraint(NotNull(ArgNo(2))));
2573 .ArgConstraint(NotNull(ArgNo(0))));
2592 .ArgConstraint(NotNull(ArgNo(0))));
2607 .ArgConstraint(NotNull(ArgNo(0))));
2612 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2619 .ArgConstraint(NotNull(ArgNo(0)))
2626 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2635 .ArgConstraint(NotNull(ArgNo(0))));
2644 .ArgConstraint(NotNull(ArgNo(0))));
2659 .ArgConstraint(NotNull(ArgNo(0)))
2671 .ArgConstraint(NotNull(ArgNo(0))));
2681 .ArgConstraint(NotNull(ArgNo(1))));
2692 .ArgConstraint(NotNull(ArgNo(0))));
2703 .ArgConstraint(NotNull(ArgNo(1))));
2711 .ArgConstraint(NotNull(ArgNo(0))));
2722 .ArgConstraint(NotNull(ArgNo(1))));
2746 .ArgConstraint(NotNull(ArgNo(1))));
2755 .ArgConstraint(NotNull(ArgNo(0))));
2764 .ArgConstraint(NotNull(ArgNo(0))));
2781 .ArgConstraint(NotNull(ArgNo(0))));
2789 .ArgConstraint(NotNull(ArgNo(0))));
2798 .ArgConstraint(NotNull(ArgNo(0)))
2799 .ArgConstraint(NotNull(ArgNo(1))));
2811 .ArgConstraint(NotNull(ArgNo(1)))
2813 .ArgConstraint(NotNull(ArgNo(3))));
2821 .ArgConstraint(NotNull(ArgNo(0))));
2831 .ArgConstraint(NotNull(ArgNo(1))));
2845 .ArgConstraint(NotNull(ArgNo(1))));
2855 .ArgConstraint(NotNull(ArgNo(0)))
2856 .ArgConstraint(NotNull(ArgNo(1))));
2866 .ArgConstraint(NotNull(ArgNo(0)))
2867 .ArgConstraint(NotNull(ArgNo(1))));
2880 .ArgConstraint(NotNull(ArgNo(1)))
2881 .ArgConstraint(NotNull(ArgNo(2))));
2887 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2889 .ArgConstraint(NotNull(ArgNo(0))));
2895 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2928 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2933 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2938 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2943 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2976 .ArgConstraint(NotNull(ArgNo(0))));
3007 .ArgConstraint(NotNull(ArgNo(0)))
3008 .ArgConstraint(NotNull(ArgNo(1)))
3032 .ArgConstraint(NotNull(ArgNo(1)))
3033 .ArgConstraint(NotNull(ArgNo(2)))
3049 .ArgConstraint(NotNull(ArgNo(1)))
3051 .ArgConstraint(NotNull(ArgNo(3))));
3062 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
3064 .ArgConstraint(NotNull(ArgNo(0))));
3074 .ArgConstraint(NotNull(ArgNo(0))));
3082 .ArgConstraint(NotNull(ArgNo(0))));
3093 .ArgConstraint(NotNull(ArgNo(1)))
3094 .ArgConstraint(NotNull(ArgNo(2))));
3157 .ArgConstraint(NotNull(ArgNo(1)))
3186 .ArgConstraint(NotNull(ArgNo(1)))
3187 .ArgConstraint(NotNull(ArgNo(2)))))
3210 .ArgConstraint(NotNull(ArgNo(1)))
3211 .ArgConstraint(NotNull(ArgNo(2)))))
3233 .ArgConstraint(NotNull(ArgNo(1)))))
3365 .ArgConstraint(NotNull(ArgNo(3)))
3382 .ArgConstraint(NotNull(ArgNo(3)))
3383 .ArgConstraint(NotNull(ArgNo(4))));
3409 .ArgConstraint(NotNull(ArgNo(3))));
3457 .ArgConstraint(NotNull(ArgNo(0))));
3485 .ArgConstraint(NotNull(ArgNo(1))));
3499 .ArgConstraint(NotNull(ArgNo(0))));
3509 .ArgConstraint(NotNull(ArgNo(0))));
3530 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3539 .ArgConstraint(NotNull(ArgNo(0)))
3540 .ArgConstraint(NotNull(ArgNo(1))));
3548 .ArgConstraint(NotNull(ArgNo(0)))
3549 .ArgConstraint(NotNull(ArgNo(1)))
3558 .ArgConstraint(NotNull(ArgNo(0)))
3559 .ArgConstraint(NotNull(ArgNo(1)))
3571 .ArgConstraint(NotNull(ArgNo(0)))
3572 .ArgConstraint(NotNull(ArgNo(1))));
3577 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3588 .ArgConstraint(NotNull(ArgNo(1))));
3601 .ArgConstraint(NotNull(ArgNo(1))));
3638 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3650 .ArgConstraint(NotNull(ArgNo(0)))
3651 .ArgConstraint(NotNull(ArgNo(2))));
3658 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3669 .ArgConstraint(NotNull(ArgNo(0)))
3670 .ArgConstraint(NotNull(ArgNo(1))));
3678 .ArgConstraint(NotNull(ArgNo(0)))
3689 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3699 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3708 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));
3872 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));
3877 .ArgConstraint(NotNull(ArgNo(0)))
3878 .ArgConstraint(NotNull(ArgNo(1))));