StaticAnalyzer/Checkers/NullabilityChecker.cpp

251   ConditionTruthVal Nullness = State->isNull(Val);
252   if (Nullness.isConstrainedFalse())
254   if (Nullness.isConstrainedTrue())
493   NullConstraint Nullness = getNullConstraint(*RetSVal, State);
507       Nullness == NullConstraint::IsNull &&
528         Nullness != NullConstraint::IsNotNull &&
575     NullConstraint Nullness = getNullConstraint(*ArgSVal, State);
582     if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&
601       if (Nullness == NullConstraint::IsNotNull ||
686     NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State);
687     if (Nullness == NullConstraint::IsNotNull)
849     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
850     if (Nullness == NullConstraint::IsNull) {