Lines Matching refs:Nonnull
64 case Nullability::Nonnull: in getNullabilityString()
381 if (getNullabilityAnnotation(T) != Nullability::Nonnull) in checkValueAtLValForInvariantViolation()
634 if (NullabilityOfTheLoadedValue == Nullability::Nonnull) { in checkLocation()
704 bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull && in checkPreStmt()
707 RetExprTypeLevelNullability != Nullability::Nonnull && in checkPreStmt()
744 RequiredNullability == Nullability::Nonnull) { in checkPreStmt()
807 ArgExprTypeLevelNullability != Nullability::Nonnull && in checkPreCall()
808 RequiredNullability == Nullability::Nonnull && in checkPreCall()
838 RequiredNullability == Nullability::Nonnull && in checkPreCall()
922 return Nullability::Nonnull; in getReceiverNullability()
931 return Nullability::Nonnull; in getReceiverNullability()
1081 if (RetNullability != Nullability::Nonnull && in checkPostObjCMessage()
1092 RetNullability = Nullability::Nonnull; in checkPostObjCMessage()
1111 RetNullability = Nullability::Nonnull; in checkPostObjCMessage()
1156 if (DestNullability == Nullability::Nonnull) { in checkPostStmt()
1288 bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull && in checkBind()
1291 ValNullability != Nullability::Nonnull && in checkBind()
1292 ValueExprTypeLevelNullability != Nullability::Nonnull && in checkBind()
1336 LocNullability == Nullability::Nonnull) { in checkBind()