Searched refs:NotNull (Results 1 – 3 of 3) sorted by relevance
1184 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() local1369 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()1370 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()1441 Summary(NoEvalCall).ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()1460 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()1469 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()1501 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()1502 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()1519 .ArgConstraint(NotNull(ArgNo(0)))); in initFunctionSummaries()1527 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()[all …]
145 std::function<bool(const IntrinsicInst *)> NotNull( in getMarkers()147 return make_filter_range(Instructions, NotNull); in getMarkers()
3643 inline PolymorphicMatcher<internal::NotNullMatcher > NotNull() {