Lines Matching refs:Nonnull
62 case Nullability::Nonnull: in getNullabilityString()
337 if (getNullabilityAnnotation(T) != Nullability::Nonnull) in checkValueAtLValForInvariantViolation()
550 if (NullabilityOfTheLoadedValue == Nullability::Nonnull) { in checkLocation()
620 bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull && in checkPreStmt()
623 RetExprTypeLevelNullability != Nullability::Nonnull && in checkPreStmt()
660 RequiredNullability == Nullability::Nonnull) { in checkPreStmt()
723 ArgExprTypeLevelNullability != Nullability::Nonnull && in checkPreCall()
724 RequiredNullability == Nullability::Nonnull && in checkPreCall()
754 RequiredNullability == Nullability::Nonnull && in checkPreCall()
830 return Nullability::Nonnull; in getReceiverNullability()
839 return Nullability::Nonnull; in getReceiverNullability()
955 RetNullability = Nullability::Nonnull; in checkPostObjCMessage()
998 if (DestNullability == Nullability::Nonnull) { in checkPostStmt()
1130 bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull && in checkBind()
1133 ValNullability != Nullability::Nonnull && in checkBind()
1134 ValueExprTypeLevelNullability != Nullability::Nonnull && in checkBind()
1178 LocNullability == Nullability::Nonnull) { in checkBind()