Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DNullabilityChecker.cpp280 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local
281 if (Nullness.isConstrainedFalse()) in getNullConstraint()
283 if (Nullness.isConstrainedTrue()) in getNullConstraint()
590 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local
603 Nullness == NullConstraint::IsNull); in checkPreStmt()
642 Nullness != NullConstraint::IsNotNull && in checkPreStmt()
696 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall() local
705 if (Filter.CheckNullPassedToNonnull && Nullness == NullConstraint::IsNull && in checkPreCall()
730 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()
822 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability() local
[all …]