261 enum class NullConstraint { IsNull, IsNotNull, Unknown };  enum
263 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val,  in getNullConstraint()
267     return NullConstraint::IsNotNull;  in getNullConstraint()
269     return NullConstraint::IsNull;  in getNullConstraint()
270   return NullConstraint::Unknown;  in getNullConstraint()
353   if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull)  in checkValueAtLValForInvariantViolation()
564   NullConstraint Nullness = getNullConstraint(*RetSVal, State);  in checkPreStmt()
577                                   Nullness == NullConstraint::IsNull);  in checkPreStmt()
616         Nullness != NullConstraint::IsNotNull &&  in checkPreStmt()
671     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);  in checkPreCall()
680     if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&  in checkPreCall()
707       if (Nullness == NullConstraint::IsNotNull ||  in checkPreCall()
799     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);  in getReceiverNullability()
800     if (Nullness == NullConstraint::IsNotNull)  in getReceiverNullability()
961     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);  in checkPostStmt()
962     if (Nullness == NullConstraint::IsNull) {  in checkPostStmt()
1075   NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State);  in checkBind()
1093                                 RhsNullness == NullConstraint::IsNull);  in checkBind()
1138     if (RhsNullness == NullConstraint::IsNotNull ||  in checkBind()