Lines Matching refs:Nonnull
45 // unspecified or nonnull type non of the rules would indicate any problem for
56 Nonnull
77 case Nullability::Nonnull:
78 return "nonnull";
140 // to a callee that expects nonnull argument without the information that is
166 /// When any of the nonnull arguments of the analyzed function is null, do not
253 // directly (for example, when NULL is passed as an argument to a nonnull
255 // programmer defensively checks whether a nonnull parameter contains NULL and
355 return Nullability::Nonnull;
363 if (getNullabilityAnnotation(T) != Nullability::Nonnull)
490 // When one of the nonnull arguments are constrained to be null, nullability
549 /// function that has nonnull return type.
595 // generating it is nonnull then we will suppress the diagnostic.
602 bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull &&
606 RetExprTypeLevelNullability != Nullability::Nonnull &&
644 RequiredNullability == Nullability::Nonnull) {
668 /// function that expects its argument to be nonnull.
706 ArgExprTypeLevelNullability != Nullability::Nonnull &&
707 RequiredNullability == Nullability::Nonnull &&
735 RequiredNullability == Nullability::Nonnull &&
814 // nonnull.
815 return Nullability::Nonnull;
820 // If the receiver is constrained to be nonnull, assume that it is nonnull
824 return Nullability::Nonnull;
940 RetNullability = Nullability::Nonnull;
954 /// annotations in the destination and the source or '0' is casted to nonnull
983 // When 0 is converted to nonnull mark it as contradicted.
984 if (DestNullability == Nullability::Nonnull) {
1079 /// pointer or null symbol is assigned to a pointer with a nonnull type.
1107 // If the type of the RHS expression is nonnull, don't warn. This
1108 // enables explicit suppression with a cast to nonnull.
1116 bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull &&
1120 ValNullability != Nullability::Nonnull &&
1121 ValueExprTypeLevelNullability != Nullability::Nonnull &&
1163 LocNullability == Nullability::Nonnull) {
