49 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) {  in getMostNullable()
50   return static_cast<Nullability>(  in getMostNullable()
54 const char *getNullabilityString(Nullability Nullab) {  in getNullabilityString()
56   case Nullability::Contradicted:  in getNullabilityString()
58   case Nullability::Nullable:  in getNullabilityString()
60   case Nullability::Unspecified:  in getNullabilityString()
62   case Nullability::Nonnull:  in getNullabilityString()
205   NullabilityState(Nullability Nullab, const Stmt *Source = nullptr)  in NullabilityState()
210   Nullability getValue() const { return Nullab; }  in getValue()
222   Nullability Nullab;
373   if (getNullabilityAnnotation(T) != Nullability::Nonnull)  in checkValueAtLValForInvariantViolation()
545       TrackedNullability->getValue() == Nullability::Nullable) {  in checkEvent()
596   Nullability NullabilityOfTheLoadedValue =  in checkLocation()
599   if (NullabilityOfTheLoadedValue == Nullability::Nonnull) {  in checkLocation()
659   Nullability RequiredNullability = getNullabilityAnnotation(RequiredRetType);  in checkPreStmt()
666   Nullability RetExprTypeLevelNullability =  in checkPreStmt()
669   bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull &&  in checkPreStmt()
672       RetExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreStmt()
705     Nullability TrackedNullabValue = TrackedNullability->getValue();  in checkPreStmt()
708         TrackedNullabValue == Nullability::Nullable &&  in checkPreStmt()
709         RequiredNullability == Nullability::Nonnull) {  in checkPreStmt()
723   if (RequiredNullability == Nullability::Nullable) {  in checkPreStmt()
763     Nullability RequiredNullability =  in checkPreCall()
765     Nullability ArgExprTypeLevelNullability =  in checkPreCall()
772         ArgExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreCall()
773         RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
799           TrackedNullability->getValue() != Nullability::Nullable)  in checkPreCall()
803           RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
859     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
868       getNullabilityAnnotation(ReturnType) == Nullability::Nullable) {  in checkPostCall()
869     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
874 static Nullability getReceiverNullability(const ObjCMethodCall &M,  in getReceiverNullability()
879     return Nullability::Nonnull;  in getReceiverNullability()
888       return Nullability::Nonnull;  in getReceiverNullability()
900   return Nullability::Unspecified;  in getReceiverNullability()
965           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
975           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
988                                              Nullability::Contradicted);  in checkPostObjCMessage()
997   Nullability SelfNullability = getReceiverNullability(M, State);  in checkPostObjCMessage()
1006     Nullability RetValTracked = NullabilityOfReturn->getValue();  in checkPostObjCMessage()
1007     Nullability ComputedNullab =  in checkPostObjCMessage()
1010         ComputedNullab != Nullability::Unspecified) {  in checkPostObjCMessage()
1023   Nullability RetNullability = getNullabilityAnnotation(RetType);  in checkPostObjCMessage()
1040   if (RetNullability != Nullability::Nonnull &&  in checkPostObjCMessage()
1050           RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
1069       RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
1073   Nullability ComputedNullab = getMostNullable(RetNullability, SelfNullability);  in checkPostObjCMessage()
1074   if (ComputedNullab == Nullability::Nullable) {  in checkPostObjCMessage()
1101   Nullability DestNullability = getNullabilityAnnotation(DestType);  in checkPostStmt()
1105   if (DestNullability == Nullability::Unspecified)  in checkPostStmt()
1114   if (DestNullability == Nullability::Nonnull) {  in checkPostStmt()
1117       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1127     if (DestNullability != Nullability::Nullable)  in checkPostStmt()
1136       TrackedNullability->getValue() != Nullability::Contradicted) {  in checkPostStmt()
1137     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1231   Nullability ValNullability = Nullability::Unspecified;  in checkBind()
1235   Nullability LocNullability = getNullabilityAnnotation(LocType);  in checkBind()
1239   Nullability ValueExprTypeLevelNullability = Nullability::Unspecified;  in checkBind()
1246   bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull &&  in checkBind()
1249       ValNullability != Nullability::Nonnull &&  in checkBind()
1250       ValueExprTypeLevelNullability != Nullability::Nonnull &&  in checkBind()
1291         TrackedNullability->getValue() != Nullability::Nullable)  in checkBind()
1294         LocNullability == Nullability::Nonnull) {  in checkBind()
1307   if (ValNullability == Nullability::Nullable) {  in checkBind()
1317   if (LocNullability == Nullability::Nullable) {  in checkBind()