50 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) {  in getMostNullable()
51   return static_cast<Nullability>(  in getMostNullable()
55 const char *getNullabilityString(Nullability Nullab) {  in getNullabilityString()
57   case Nullability::Contradicted:  in getNullabilityString()
59   case Nullability::Nullable:  in getNullabilityString()
61   case Nullability::Unspecified:  in getNullabilityString()
63   case Nullability::Nonnull:  in getNullabilityString()
200   NullabilityState(Nullability Nullab, const Stmt *Source = nullptr)  in NullabilityState()
205   Nullability getValue() const { return Nullab; }  in getValue()
217   Nullability Nullab;
336   if (getNullabilityAnnotation(T) != Nullability::Nonnull)  in checkValueAtLValForInvariantViolation()
494       TrackedNullability->getValue() == Nullability::Nullable) {  in checkEvent()
566   Nullability RequiredNullability = getNullabilityAnnotation(RequiredRetType);  in checkPreStmt()
573   Nullability RetExprTypeLevelNullability =  in checkPreStmt()
576   bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull &&  in checkPreStmt()
580       RetExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreStmt()
614     Nullability TrackedNullabValue = TrackedNullability->getValue();  in checkPreStmt()
617         TrackedNullabValue == Nullability::Nullable &&  in checkPreStmt()
618         RequiredNullability == Nullability::Nonnull) {  in checkPreStmt()
633   if (RequiredNullability == Nullability::Nullable) {  in checkPreStmt()
673     Nullability RequiredNullability =  in checkPreCall()
675     Nullability ArgExprTypeLevelNullability =  in checkPreCall()
681         ArgExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreCall()
682         RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
708           TrackedNullability->getValue() != Nullability::Nullable)  in checkPreCall()
712           RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
735     if (ArgExprTypeLevelNullability != Nullability::Nullable)  in checkPreCall()
772     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
781       getNullabilityAnnotation(ReturnType) == Nullability::Nullable) {  in checkPostCall()
782     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
787 static Nullability getReceiverNullability(const ObjCMethodCall &M,  in getReceiverNullability()
792     return Nullability::Nonnull;  in getReceiverNullability()
801       return Nullability::Nonnull;  in getReceiverNullability()
813   return Nullability::Unspecified;  in getReceiverNullability()
852           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
862           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
875                                              Nullability::Contradicted);  in checkPostObjCMessage()
884   Nullability SelfNullability = getReceiverNullability(M, State);  in checkPostObjCMessage()
893     Nullability RetValTracked = NullabilityOfReturn->getValue();  in checkPostObjCMessage()
894     Nullability ComputedNullab =  in checkPostObjCMessage()
897         ComputedNullab != Nullability::Unspecified) {  in checkPostObjCMessage()
910   Nullability RetNullability = getNullabilityAnnotation(RetType);  in checkPostObjCMessage()
917     RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
919   Nullability ComputedNullab = getMostNullable(RetNullability, SelfNullability);  in checkPostObjCMessage()
920   if (ComputedNullab == Nullability::Nullable) {  in checkPostObjCMessage()
947   Nullability DestNullability = getNullabilityAnnotation(DestType);  in checkPostStmt()
951   if (DestNullability == Nullability::Unspecified)  in checkPostStmt()
960   if (DestNullability == Nullability::Nonnull) {  in checkPostStmt()
963       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
973     if (DestNullability != Nullability::Nullable)  in checkPostStmt()
982       TrackedNullability->getValue() != Nullability::Contradicted) {  in checkPostStmt()
983     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1077   Nullability ValNullability = Nullability::Unspecified;  in checkBind()
1081   Nullability LocNullability = getNullabilityAnnotation(LocType);  in checkBind()
1085   Nullability ValueExprTypeLevelNullability = Nullability::Unspecified;  in checkBind()
1092   bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull &&  in checkBind()
1096       ValNullability != Nullability::Nonnull &&  in checkBind()
1097       ValueExprTypeLevelNullability != Nullability::Nonnull &&  in checkBind()
1139         TrackedNullability->getValue() != Nullability::Nullable)  in checkBind()
1142         LocNullability == Nullability::Nonnull) {  in checkBind()
1155   if (ValNullability == Nullability::Nullable) {  in checkBind()
1165   if (LocNullability == Nullability::Nullable) {  in checkBind()