264 enum class NullConstraint { IsNull, IsNotNull, Unknown };  enum
266 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val,  in getNullConstraint()
270     return NullConstraint::IsNotNull;  in getNullConstraint()
272     return NullConstraint::IsNull;  in getNullConstraint()
273   return NullConstraint::Unknown;  in getNullConstraint()
354   if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull)  in checkValueAtLValForInvariantViolation()
608   NullConstraint Nullness = getNullConstraint(*RetSVal, State);  in checkPreStmt()
621                                   Nullness == NullConstraint::IsNull);  in checkPreStmt()
658         Nullness != NullConstraint::IsNotNull &&  in checkPreStmt()
712     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);  in checkPreCall()
722         Nullness == NullConstraint::IsNull &&  in checkPreCall()
749       if (Nullness == NullConstraint::IsNotNull ||  in checkPreCall()
837     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);  in getReceiverNullability()
838     if (Nullness == NullConstraint::IsNotNull)  in getReceiverNullability()
999     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);  in checkPostStmt()
1000     if (Nullness == NullConstraint::IsNull) {  in checkPostStmt()
1113   NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State);  in checkBind()
1131                                 RhsNullness == NullConstraint::IsNull);  in checkBind()
1174     if (RhsNullness == NullConstraint::IsNotNull ||  in checkBind()