265   ConditionTruthVal Nullness = State->isNull(Val);  in getNullConstraint()  local
266   if (Nullness.isConstrainedFalse())  in getNullConstraint()
268   if (Nullness.isConstrainedTrue())  in getNullConstraint()
564   NullConstraint Nullness = getNullConstraint(*RetSVal, State);  in checkPreStmt()  local
577                                   Nullness == NullConstraint::IsNull);  in checkPreStmt()
616         Nullness != NullConstraint::IsNotNull &&  in checkPreStmt()
671     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);  in checkPreCall()  local
680     if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&  in checkPreCall()
707       if (Nullness == NullConstraint::IsNotNull ||  in checkPreCall()
799     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);  in getReceiverNullability()  local
800     if (Nullness == NullConstraint::IsNotNull)  in getReceiverNullability()
961     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);  in checkPostStmt()  local
962     if (Nullness == NullConstraint::IsNull) {  in checkPostStmt()