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