Lines Matching defs:NotNull
1794 auto NotNull = [&](ArgNo ArgN) {
2053 .ArgConstraint(NotNull(ArgNo(3)))
2124 .ArgConstraint(NotNull(ArgNo(0)))
2125 .Case({NotNull(Ret)}, ErrnoIrrelevant,
2129 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant,
2147 .ArgConstraint(NotNull(ArgNo(0))));
2177 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2179 .ArgConstraint(NotNull(ArgNo(0)))
2180 .ArgConstraint(NotNull(ArgNo(1))));
2187 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2190 .ArgConstraint(NotNull(ArgNo(1))));
2196 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2210 .ArgConstraint(NotNull(ArgNo(1)))
2211 .ArgConstraint(NotNull(ArgNo(2))));
2218 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2220 .ArgConstraint(NotNull(ArgNo(0)))
2221 .ArgConstraint(NotNull(ArgNo(1))));
2229 .ArgConstraint(NotNull(ArgNo(0))));
2238 .ArgConstraint(NotNull(ArgNo(0))));
2252 .ArgConstraint(NotNull(ArgNo(0))));
2268 .ArgConstraint(NotNull(ArgNo(1))));
2279 .ArgConstraint(NotNull(ArgNo(0)))
2283 .ArgConstraint(NotNull(ArgNo(2))));
2294 .ArgConstraint(NotNull(ArgNo(0)))
2295 .ArgConstraint(NotNull(ArgNo(1))));
2314 .ArgConstraint(NotNull(ArgNo(1))));
2325 .ArgConstraint(NotNull(ArgNo(0)))
2335 .ArgConstraint(NotNull(ArgNo(0)))
2349 .ArgConstraint(NotNull(ArgNo(0)))
2350 .ArgConstraint(NotNull(ArgNo(1))));
2362 .ArgConstraint(NotNull(ArgNo(0)))
2363 .ArgConstraint(NotNull(ArgNo(1))));
2382 .ArgConstraint(NotNull(ArgNo(0))));
2391 .ArgConstraint(NotNull(ArgNo(0))));
2403 .ArgConstraint(NotNull(ArgNo(0))));
2411 .ArgConstraint(NotNull(ArgNo(0))));
2416 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2421 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2426 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2431 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2447 .ArgConstraint(NotNull(ArgNo(0))));
2458 .ArgConstraint(NotNull(ArgNo(1))));
2466 .ArgConstraint(NotNull(ArgNo(0))));
2477 .ArgConstraint(NotNull(ArgNo(1))));
2515 .ArgConstraint(NotNull(ArgNo(0)))
2516 .ArgConstraint(NotNull(ArgNo(1))));
2534 .ArgConstraint(NotNull(ArgNo(0))));
2543 .ArgConstraint(NotNull(ArgNo(0)))
2544 .ArgConstraint(NotNull(ArgNo(1))));
2554 .ArgConstraint(NotNull(ArgNo(0)))
2556 .ArgConstraint(NotNull(ArgNo(2))));
2576 .ArgConstraint(NotNull(ArgNo(0))));
2595 .ArgConstraint(NotNull(ArgNo(0))));
2610 .ArgConstraint(NotNull(ArgNo(0))));
2615 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2622 .ArgConstraint(NotNull(ArgNo(0)))
2629 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2638 .ArgConstraint(NotNull(ArgNo(0))));
2647 .ArgConstraint(NotNull(ArgNo(0))));
2662 .ArgConstraint(NotNull(ArgNo(0)))
2674 .ArgConstraint(NotNull(ArgNo(0))));
2684 .ArgConstraint(NotNull(ArgNo(1))));
2695 .ArgConstraint(NotNull(ArgNo(0))));
2706 .ArgConstraint(NotNull(ArgNo(1))));
2714 .ArgConstraint(NotNull(ArgNo(0))));
2725 .ArgConstraint(NotNull(ArgNo(1))));
2749 .ArgConstraint(NotNull(ArgNo(1))));
2758 .ArgConstraint(NotNull(ArgNo(0))));
2767 .ArgConstraint(NotNull(ArgNo(0))));
2784 .ArgConstraint(NotNull(ArgNo(0))));
2792 .ArgConstraint(NotNull(ArgNo(0))));
2801 .ArgConstraint(NotNull(ArgNo(0)))
2802 .ArgConstraint(NotNull(ArgNo(1))));
2814 .ArgConstraint(NotNull(ArgNo(1)))
2816 .ArgConstraint(NotNull(ArgNo(3))));
2824 .ArgConstraint(NotNull(ArgNo(0))));
2834 .ArgConstraint(NotNull(ArgNo(1))));
2848 .ArgConstraint(NotNull(ArgNo(1))));
2858 .ArgConstraint(NotNull(ArgNo(0)))
2859 .ArgConstraint(NotNull(ArgNo(1))));
2869 .ArgConstraint(NotNull(ArgNo(0)))
2870 .ArgConstraint(NotNull(ArgNo(1))));
2883 .ArgConstraint(NotNull(ArgNo(1)))
2884 .ArgConstraint(NotNull(ArgNo(2))));
2890 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2892 .ArgConstraint(NotNull(ArgNo(0))));
2898 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2931 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2936 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2941 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2946 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
2979 .ArgConstraint(NotNull(ArgNo(0))));
3010 .ArgConstraint(NotNull(ArgNo(0)))
3011 .ArgConstraint(NotNull(ArgNo(1)))
3035 .ArgConstraint(NotNull(ArgNo(1)))
3036 .ArgConstraint(NotNull(ArgNo(2)))
3052 .ArgConstraint(NotNull(ArgNo(1)))
3054 .ArgConstraint(NotNull(ArgNo(3))));
3065 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
3067 .ArgConstraint(NotNull(ArgNo(0))));
3077 .ArgConstraint(NotNull(ArgNo(0))));
3085 .ArgConstraint(NotNull(ArgNo(0))));
3096 .ArgConstraint(NotNull(ArgNo(1)))
3097 .ArgConstraint(NotNull(ArgNo(2))));
3160 .ArgConstraint(NotNull(ArgNo(1)))
3189 .ArgConstraint(NotNull(ArgNo(1)))
3190 .ArgConstraint(NotNull(ArgNo(2)))))
3213 .ArgConstraint(NotNull(ArgNo(1)))
3214 .ArgConstraint(NotNull(ArgNo(2)))))
3236 .ArgConstraint(NotNull(ArgNo(1)))))
3368 .ArgConstraint(NotNull(ArgNo(3)))
3385 .ArgConstraint(NotNull(ArgNo(3)))
3386 .ArgConstraint(NotNull(ArgNo(4))));
3412 .ArgConstraint(NotNull(ArgNo(3))));
3460 .ArgConstraint(NotNull(ArgNo(0))));
3488 .ArgConstraint(NotNull(ArgNo(1))));
3502 .ArgConstraint(NotNull(ArgNo(0))));
3512 .ArgConstraint(NotNull(ArgNo(0))));
3533 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3542 .ArgConstraint(NotNull(ArgNo(0)))
3543 .ArgConstraint(NotNull(ArgNo(1))));
3551 .ArgConstraint(NotNull(ArgNo(0)))
3552 .ArgConstraint(NotNull(ArgNo(1)))
3561 .ArgConstraint(NotNull(ArgNo(0)))
3562 .ArgConstraint(NotNull(ArgNo(1)))
3574 .ArgConstraint(NotNull(ArgNo(0)))
3575 .ArgConstraint(NotNull(ArgNo(1))));
3580 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3591 .ArgConstraint(NotNull(ArgNo(1))));
3604 .ArgConstraint(NotNull(ArgNo(1))));
3641 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3653 .ArgConstraint(NotNull(ArgNo(0)))
3654 .ArgConstraint(NotNull(ArgNo(2))));
3661 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3672 .ArgConstraint(NotNull(ArgNo(0)))
3673 .ArgConstraint(NotNull(ArgNo(1))));
3681 .ArgConstraint(NotNull(ArgNo(0)))
3692 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3702 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0))));
3711 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));
3875 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));
3880 .ArgConstraint(NotNull(ArgNo(0)))
3881 .ArgConstraint(NotNull(ArgNo(1))));