Lines Matching defs:Nullness

305   ConditionTruthVal Nullness = State->isNull(Val);
306   if (Nullness.isConstrainedFalse())
308   if (Nullness.isConstrainedTrue())
692   NullConstraint Nullness = getNullConstraint(*RetSVal, State);
713                                   Nullness == NullConstraint::IsNull);
750         Nullness != NullConstraint::IsNotNull &&
804     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
814         Nullness == NullConstraint::IsNull &&
841       if (Nullness == NullConstraint::IsNotNull ||
937     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);
938     if (Nullness == NullConstraint::IsNotNull)
1165     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
1166     if (Nullness == NullConstraint::IsNull) {