Lines Matching defs:Nullness

305   ConditionTruthVal Nullness = State->isNull(Val);
306   if (Nullness.isConstrainedFalse())
308   if (Nullness.isConstrainedTrue())
692   NullConstraint Nullness = getNullConstraint(*RetSVal, State);
705                                   Nullness == NullConstraint::IsNull);
742         Nullness != NullConstraint::IsNotNull &&
796     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
806         Nullness == NullConstraint::IsNull &&
833       if (Nullness == NullConstraint::IsNotNull ||
929     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);
930     if (Nullness == NullConstraint::IsNotNull)
1157     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
1158     if (Nullness == NullConstraint::IsNull) {