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
2175 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2185 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2194 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
2206 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2216 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2275 .Case({IsNull(Ret)}, ErrnoIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2643 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2654 IsNull(Ret)}, in initFunctionSummaries()
2657 IsNull(Ret)}, in initFunctionSummaries()
2888 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2896 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3063 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()