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()
203   NullabilityState(Nullability Nullab, const Stmt *Source = nullptr)  in NullabilityState()
208   Nullability getValue() const { return Nullab; }  in getValue()
220   Nullability Nullab;
337   if (getNullabilityAnnotation(T) != Nullability::Nonnull)  in checkValueAtLValForInvariantViolation()
496       TrackedNullability->getValue() == Nullability::Nullable) {  in checkEvent()
547   Nullability NullabilityOfTheLoadedValue =  in checkLocation()
550   if (NullabilityOfTheLoadedValue == Nullability::Nonnull) {  in checkLocation()
610   Nullability RequiredNullability = getNullabilityAnnotation(RequiredRetType);  in checkPreStmt()
617   Nullability RetExprTypeLevelNullability =  in checkPreStmt()
620   bool NullReturnedFromNonNull = (RequiredNullability == Nullability::Nonnull &&  in checkPreStmt()
623       RetExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreStmt()
656     Nullability TrackedNullabValue = TrackedNullability->getValue();  in checkPreStmt()
659         TrackedNullabValue == Nullability::Nullable &&  in checkPreStmt()
660         RequiredNullability == Nullability::Nonnull) {  in checkPreStmt()
674   if (RequiredNullability == Nullability::Nullable) {  in checkPreStmt()
714     Nullability RequiredNullability =  in checkPreCall()
716     Nullability ArgExprTypeLevelNullability =  in checkPreCall()
723         ArgExprTypeLevelNullability != Nullability::Nonnull &&  in checkPreCall()
724         RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
750           TrackedNullability->getValue() != Nullability::Nullable)  in checkPreCall()
754           RequiredNullability == Nullability::Nonnull &&  in checkPreCall()
810     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
819       getNullabilityAnnotation(ReturnType) == Nullability::Nullable) {  in checkPostCall()
820     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
825 static Nullability getReceiverNullability(const ObjCMethodCall &M,  in getReceiverNullability()
830     return Nullability::Nonnull;  in getReceiverNullability()
839       return Nullability::Nonnull;  in getReceiverNullability()
851   return Nullability::Unspecified;  in getReceiverNullability()
890           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
900           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
913                                              Nullability::Contradicted);  in checkPostObjCMessage()
922   Nullability SelfNullability = getReceiverNullability(M, State);  in checkPostObjCMessage()
931     Nullability RetValTracked = NullabilityOfReturn->getValue();  in checkPostObjCMessage()
932     Nullability ComputedNullab =  in checkPostObjCMessage()
935         ComputedNullab != Nullability::Unspecified) {  in checkPostObjCMessage()
948   Nullability RetNullability = getNullabilityAnnotation(RetType);  in checkPostObjCMessage()
955     RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
957   Nullability ComputedNullab = getMostNullable(RetNullability, SelfNullability);  in checkPostObjCMessage()
958   if (ComputedNullab == Nullability::Nullable) {  in checkPostObjCMessage()
985   Nullability DestNullability = getNullabilityAnnotation(DestType);  in checkPostStmt()
989   if (DestNullability == Nullability::Unspecified)  in checkPostStmt()
998   if (DestNullability == Nullability::Nonnull) {  in checkPostStmt()
1001       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1011     if (DestNullability != Nullability::Nullable)  in checkPostStmt()
1020       TrackedNullability->getValue() != Nullability::Contradicted) {  in checkPostStmt()
1021     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1115   Nullability ValNullability = Nullability::Unspecified;  in checkBind()
1119   Nullability LocNullability = getNullabilityAnnotation(LocType);  in checkBind()
1123   Nullability ValueExprTypeLevelNullability = Nullability::Unspecified;  in checkBind()
1130   bool NullAssignedToNonNull = (LocNullability == Nullability::Nonnull &&  in checkBind()
1133       ValNullability != Nullability::Nonnull &&  in checkBind()
1134       ValueExprTypeLevelNullability != Nullability::Nonnull &&  in checkBind()
1175         TrackedNullability->getValue() != Nullability::Nullable)  in checkBind()
1178         LocNullability == Nullability::Nonnull) {  in checkBind()
1191   if (ValNullability == Nullability::Nullable) {  in checkBind()
1201   if (LocNullability == Nullability::Nullable) {  in checkBind()