51 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) {  in getMostNullable()
52   return static_cast<Nullability>(  in getMostNullable()
56 const char *getNullabilityString(Nullability Nullab) {  in getNullabilityString()
58   case Nullability::Contradicted:  in getNullabilityString()
60   case Nullability::Nullable:  in getNullabilityString()
62   case Nullability::Unspecified:  in getNullabilityString()
64   case Nullability::Nonnull:  in getNullabilityString()
209   NullabilityState(Nullability Nullab, const Stmt *Source = nullptr)  in NullabilityState()
214   Nullability getValue() const { return Nullab; }  in getValue()
226   Nullability Nullab;
381   if (getNullabilityAnnotation(T) != Nullability::Nonnull)  in checkValueAtLValForInvariantViolation()
549       TrackedNullability->getValue() == Nullability::Nullable) {  in checkEvent()
580     Nullability RequiredNullability =  in checkBeginFunction()
582     if (RequiredNullability != Nullability::Nullable)  in checkBeginFunction()
631   Nullability NullabilityOfTheLoadedValue =  in checkLocation()
634   if (NullabilityOfTheLoadedValue == Nullability::Nonnull) {  in checkLocation()
694   Nullability RequiredNullability = getNullabilityAnnotation(RequiredRetType);  in checkPreStmt()
701   Nullability RetExprTypeLevelNullability =  in checkPreStmt()
704   bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull &&  in checkPreStmt()
707       RetExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreStmt()
740     Nullability TrackedNullabValue = TrackedNullability->getValue();  in checkPreStmt()
743         TrackedNullabValue == Nullability::Nullable &&  in checkPreStmt()
744         RequiredNullability == Nullability::Nonnull) {  in checkPreStmt()
758   if (RequiredNullability == Nullability::Nullable) {  in checkPreStmt()
798     Nullability RequiredNullability =  in checkPreCall()
800     Nullability ArgExprTypeLevelNullability =  in checkPreCall()
807         ArgExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreCall()
808         RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
834           TrackedNullability->getValue() != Nullability::Nullable)  in checkPreCall()
838           RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
894     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
911       getNullabilityAnnotation(ReturnType) == Nullability::Nullable) {  in checkPostCall()
912     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
917 static Nullability getReceiverNullability(const ObjCMethodCall &M,  in getReceiverNullability()
922     return Nullability::Nonnull;  in getReceiverNullability()
931       return Nullability::Nonnull;  in getReceiverNullability()
943   return Nullability::Unspecified;  in getReceiverNullability()
1006           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
1016           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
1029                                              Nullability::Contradicted);  in checkPostObjCMessage()
1038   Nullability SelfNullability = getReceiverNullability(M, State);  in checkPostObjCMessage()
1047     Nullability RetValTracked = NullabilityOfReturn->getValue();  in checkPostObjCMessage()
1048     Nullability ComputedNullab =  in checkPostObjCMessage()
1051         ComputedNullab != Nullability::Unspecified) {  in checkPostObjCMessage()
1064   Nullability RetNullability = getNullabilityAnnotation(Message->getType());  in checkPostObjCMessage()
1081   if (RetNullability != Nullability::Nonnull &&  in checkPostObjCMessage()
1091           RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
1110       RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
1114   Nullability ComputedNullab = getMostNullable(RetNullability, SelfNullability);  in checkPostObjCMessage()
1115   if (ComputedNullab == Nullability::Nullable) {  in checkPostObjCMessage()
1142   Nullability DestNullability = getNullabilityAnnotation(DestType);  in checkPostStmt()
1146   if (DestNullability == Nullability::Unspecified)  in checkPostStmt()
1155   if (DestNullability == Nullability::Nonnull) {  in checkPostStmt()
1158       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1168     if (DestNullability != Nullability::Nullable)  in checkPostStmt()
1177       TrackedNullability->getValue() != Nullability::Contradicted) {  in checkPostStmt()
1178     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1272   Nullability ValNullability = Nullability::Unspecified;  in checkBind()
1276   Nullability LocNullability = getNullabilityAnnotation(LocType);  in checkBind()
1280   Nullability ValueExprTypeLevelNullability = Nullability::Unspecified;  in checkBind()
1287   bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull &&  in checkBind()
1290       ValNullability != Nullability::Nonnull &&  in checkBind()
1291       ValueExprTypeLevelNullability != Nullability::Nonnull &&  in checkBind()
1332         TrackedNullability->getValue() != Nullability::Nullable)  in checkBind()
1335         LocNullability == Nullability::Nonnull) {  in checkBind()
1348   if (ValNullability == Nullability::Nullable) {  in checkBind()
1358   if (LocNullability == Nullability::Nullable) {  in checkBind()