46 enum class Nullability : char {  enum
61 Nullability getMostNullable(Nullability Lhs, Nullability Rhs) {  in getMostNullable()
62   return static_cast<Nullability>(  in getMostNullable()
66 const char *getNullabilityString(Nullability Nullab) {  in getNullabilityString()
68   case Nullability::Contradicted:  in getNullabilityString()
70   case Nullability::Nullable:  in getNullabilityString()
72   case Nullability::Unspecified:  in getNullabilityString()
74   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;
319 static Nullability getNullabilityAnnotation(QualType Type) {  in getNullabilityAnnotation()
322     return Nullability::Unspecified;  in getNullabilityAnnotation()
324     return Nullability::Nullable;  in getNullabilityAnnotation()
326     return Nullability::Nonnull;  in getNullabilityAnnotation()
327   return Nullability::Unspecified;  in getNullabilityAnnotation()
339     if (getNullabilityAnnotation(ParamDecl->getType()) != Nullability::Nonnull)  in checkParamsForPreconditionViolation()
452       TrackedNullability->getValue() == Nullability::Nullable) {  in checkEvent()
495   Nullability StaticNullability =  in checkPreStmt()
500       StaticNullability == Nullability::Nonnull) {  in checkPreStmt()
517     Nullability TrackedNullabValue = TrackedNullability->getValue();  in checkPreStmt()
520         TrackedNullabValue == Nullability::Nullable &&  in checkPreStmt()
521         StaticNullability == Nullability::Nonnull) {  in checkPreStmt()
529   if (StaticNullability == Nullability::Nullable) {  in checkPreStmt()
567     Nullability ParamNullability = getNullabilityAnnotation(Param->getType());  in checkPreCall()
568     Nullability ArgStaticNullability =  in checkPreCall()
572         ArgStaticNullability != Nullability::Nonnull &&  in checkPreCall()
573         ParamNullability == Nullability::Nonnull) {  in checkPreCall()
591           TrackedNullability->getValue() != Nullability::Nullable)  in checkPreCall()
595           ParamNullability == Nullability::Nonnull) {  in checkPreCall()
611     if (ArgStaticNullability != Nullability::Nullable)  in checkPreCall()
648     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
657       getNullabilityAnnotation(ReturnType) == Nullability::Nullable) {  in checkPostCall()
658     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
663 static Nullability getReceiverNullability(const ObjCMethodCall &M,  in getReceiverNullability()
668     return Nullability::Nonnull;  in getReceiverNullability()
677       return Nullability::Nonnull;  in getReceiverNullability()
689   return Nullability::Unspecified;  in getReceiverNullability()
728           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
738           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
751                                              Nullability::Contradicted);  in checkPostObjCMessage()
760   Nullability SelfNullability = getReceiverNullability(M, State);  in checkPostObjCMessage()
769     Nullability RetValTracked = NullabilityOfReturn->getValue();  in checkPostObjCMessage()
770     Nullability ComputedNullab =  in checkPostObjCMessage()
773         ComputedNullab != Nullability::Unspecified) {  in checkPostObjCMessage()
786   Nullability RetNullability = getNullabilityAnnotation(RetType);  in checkPostObjCMessage()
793     RetNullability = Nullability::Nonnull;  in checkPostObjCMessage()
795   Nullability ComputedNullab = getMostNullable(RetNullability, SelfNullability);  in checkPostObjCMessage()
796   if (ComputedNullab == Nullability::Nullable) {  in checkPostObjCMessage()
823   Nullability DestNullability = getNullabilityAnnotation(DestType);  in checkPostStmt()
827   if (DestNullability == Nullability::Unspecified)  in checkPostStmt()
837   if (DestNullability == Nullability::Nonnull) {  in checkPostStmt()
840       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
850     if (DestNullability != Nullability::Nullable)  in checkPostStmt()
859       TrackedNullability->getValue() != Nullability::Contradicted) {  in checkPostStmt()
860     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
912   Nullability ValNullability = Nullability::Unspecified;  in checkBind()
916   Nullability LocNullability = getNullabilityAnnotation(LocType);  in checkBind()
919       ValNullability != Nullability::Nonnull &&  in checkBind()
920       LocNullability == Nullability::Nonnull) {  in checkBind()
946         TrackedNullability->getValue() != Nullability::Nullable)  in checkBind()
949         LocNullability == Nullability::Nonnull) {  in checkBind()
960   if (ValNullability == Nullability::Nullable) {  in checkBind()
970   if (LocNullability == Nullability::Nullable) {  in checkBind()