Searched refs:NullConstraint (Results 1 – 1 of 1) sorted by relevance
261 enum class NullConstraint { IsNull, IsNotNull, Unknown }; enum263 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val, in getNullConstraint()267 return NullConstraint::IsNotNull; in getNullConstraint()269 return NullConstraint::IsNull; in getNullConstraint()270 return NullConstraint::Unknown; in getNullConstraint()564 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()616 Nullness != NullConstraint::IsNotNull && in checkPreStmt()707 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()800 if (Nullness == NullConstraint::IsNotNull) in getReceiverNullability()962 if (Nullness == NullConstraint::IsNull) { in checkPostStmt()[all …]