Lines Matching refs:NotNull
1791 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() local
2057 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
2128 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2129 .Case({NotNull(Ret)}, ErrnoIrrelevant, in initFunctionSummaries()
2133 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant, in initFunctionSummaries()
2171 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2173 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2174 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2181 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2184 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2190 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2204 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2205 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2213 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2232 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2246 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2256 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2270 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2271 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2283 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2284 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2303 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2312 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2321 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2329 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2334 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2339 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2344 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2349 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2365 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2376 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2384 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2395 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2433 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2434 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2452 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2461 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2462 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2472 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2474 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2494 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2513 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2528 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2533 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2540 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2547 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2556 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2565 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2580 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2592 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2602 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2613 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2624 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2632 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2643 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2667 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2676 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2685 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2702 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2710 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2719 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2720 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2732 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2734 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2742 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2752 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2766 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2776 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2777 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2787 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2788 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2801 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2802 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
2808 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2810 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2816 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2836 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2837 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
2843 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2864 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2869 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2874 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2879 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2912 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
2943 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
2944 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2968 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2969 .ArgConstraint(NotNull(ArgNo(2))) in initFunctionSummaries()
2985 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
2987 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
2996 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3006 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3014 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3025 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3026 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3089 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3118 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3119 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3142 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3143 .ArgConstraint(NotNull(ArgNo(2))))) in initFunctionSummaries()
3165 .ArgConstraint(NotNull(ArgNo(1))))) in initFunctionSummaries()
3297 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3314 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
3315 .ArgConstraint(NotNull(ArgNo(4)))); in initFunctionSummaries()
3341 .ArgConstraint(NotNull(ArgNo(3)))); in initFunctionSummaries()
3389 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3417 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3431 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3441 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3462 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3471 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3472 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3480 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3481 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3490 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3491 .ArgConstraint(NotNull(ArgNo(1))) in initFunctionSummaries()
3503 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3504 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3509 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3520 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3533 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3570 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3582 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3583 .ArgConstraint(NotNull(ArgNo(2)))); in initFunctionSummaries()
3590 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3601 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3602 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
3610 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3621 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3631 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3640 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3804 Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()
3809 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
3810 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()