276 enum class NullConstraint { IsNull, IsNotNull, Unknown };  enum
278 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val,  in getNullConstraint()
282     return NullConstraint::IsNotNull;  in getNullConstraint()
284     return NullConstraint::IsNull;  in getNullConstraint()
285   return NullConstraint::Unknown;  in getNullConstraint()
375   if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull)  in checkValueAtLValForInvariantViolation()
590   NullConstraint Nullness = getNullConstraint(*RetSVal, State);  in checkPreStmt()
603                                   Nullness == NullConstraint::IsNull);  in checkPreStmt()
642         Nullness != NullConstraint::IsNotNull &&  in checkPreStmt()
696     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);  in checkPreCall()
705     if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&  in checkPreCall()
730       if (Nullness == NullConstraint::IsNotNull ||  in checkPreCall()
822     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);  in getReceiverNullability()
823     if (Nullness == NullConstraint::IsNotNull)  in getReceiverNullability()
985     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);  in checkPostStmt()
986     if (Nullness == NullConstraint::IsNull) {  in checkPostStmt()
1099   NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State);  in checkBind()
1117                                 RhsNullness == NullConstraint::IsNull);  in checkBind()
1159     if (RhsNullness == NullConstraint::IsNotNull ||  in checkBind()