280   ConditionTruthVal Nullness = State->isNull(Val);  in getNullConstraint()  local
281   if (Nullness.isConstrainedFalse())  in getNullConstraint()
283   if (Nullness.isConstrainedTrue())  in getNullConstraint()
590   NullConstraint Nullness = getNullConstraint(*RetSVal, State);  in checkPreStmt()  local
603                                   Nullness == NullConstraint::IsNull);  in checkPreStmt()
642         Nullness != NullConstraint::IsNotNull &&  in checkPreStmt()
696     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);  in checkPreCall()  local
705     if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&  in checkPreCall()
730       if (Nullness == NullConstraint::IsNotNull ||  in checkPreCall()
822     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);  in getReceiverNullability()  local
823     if (Nullness == NullConstraint::IsNotNull)  in getReceiverNullability()
985     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);  in checkPostStmt()  local
986     if (Nullness == NullConstraint::IsNull) {  in checkPostStmt()