Searched refs:Nullness (Results 1 – 1 of 1) sorted by relevance
265 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local266 if (Nullness.isConstrainedFalse()) in getNullConstraint()268 if (Nullness.isConstrainedTrue()) in getNullConstraint()564 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local577 Nullness == NullConstraint::IsNull); in checkPreStmt()616 Nullness != NullConstraint::IsNotNull && in checkPreStmt()671 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall() local707 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()800 if (Nullness == NullConstraint::IsNotNull) in getReceiverNullability()961 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt() local[all …]