Searched refs:Nullness (Results 1 – 1 of 1) sorted by relevance
302 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local303 if (Nullness.isConstrainedFalse()) in getNullConstraint()305 if (Nullness.isConstrainedTrue()) in getNullConstraint()689 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local710 Nullness == NullConstraint::IsNull) { in checkPreStmt()745 Nullness != NullConstraint::IsNotNull && in checkPreStmt()798 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall() local807 if (NullPassedToNonnull.isEnabled() && Nullness == NullConstraint::IsNull && in checkPreCall()834 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()929 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability() local[all …]