Lines Matching refs:IsNull
1206 auto [IsNonNull, IsNull] = State->assume(*Val); in apply()
1207 return IsNull && !IsNonNull; in apply()
1794 auto IsNull = [&](ArgNo ArgN) { in initFunctionSummaries() local
2172 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2182 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2191 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
2203 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2564 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2575 IsNull(Ret)}, in initFunctionSummaries()
2578 IsNull(Ret)}, in initFunctionSummaries()
2809 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2817 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()