Searched refs:Nullness (Results 1 - 1 of 1) sorted by relevance

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp251 ConditionTruthVal Nullness = State->isNull(Val); local
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); local
582 if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull &&
601 if (Nullness == NullConstraint::IsNotNull ||
686 NullConstraint Nullness local
849 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); local
[all...]

Completed in 99 milliseconds