301 enum class NullConstraint { IsNull, IsNotNull, Unknown };  enum
303 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val,  in getNullConstraint()
307     return NullConstraint::IsNotNull;  in getNullConstraint()
309     return NullConstraint::IsNull;  in getNullConstraint()
310   return NullConstraint::Unknown;  in getNullConstraint()
398   if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull)  in checkValueAtLValForInvariantViolation()
692   NullConstraint Nullness = getNullConstraint(*RetSVal, State);  in checkPreStmt()
705                                   Nullness == NullConstraint::IsNull);  in checkPreStmt()
742         Nullness != NullConstraint::IsNotNull &&  in checkPreStmt()
796     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);  in checkPreCall()
806         Nullness == NullConstraint::IsNull &&  in checkPreCall()
833       if (Nullness == NullConstraint::IsNotNull ||  in checkPreCall()
929     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);  in getReceiverNullability()
930     if (Nullness == NullConstraint::IsNotNull)  in getReceiverNullability()
1157     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);  in checkPostStmt()
1158     if (Nullness == NullConstraint::IsNull) {  in checkPostStmt()
1271   NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State);  in checkBind()
1289                                 RhsNullness == NullConstraint::IsNull);  in checkBind()
1332     if (RhsNullness == NullConstraint::IsNotNull ||  in checkBind()