Lines Matching full:nullness
251 ConditionTruthVal Nullness = State->isNull(Val);
252 if (Nullness.isConstrainedFalse())
254 if (Nullness.isConstrainedTrue())
493 NullConstraint Nullness = getNullConstraint(*RetSVal, State);
499 Nullness == NullConstraint::IsNull &&
519 Nullness != NullConstraint::IsNotNull &&
565 NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
571 if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&
590 if (Nullness == NullConstraint::IsNotNull ||
675 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);
676 if (Nullness == NullConstraint::IsNotNull)
838 NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
839 if (Nullness == NullConstraint::IsNull) {
