Searched refs:NullConstraint (Results 1 – 1 of 1) sorted by relevance
264 enum class NullConstraint { IsNull, IsNotNull, Unknown }; enum270 return NullConstraint::IsNotNull; in getNullConstraint()272 return NullConstraint::IsNull; in getNullConstraint()273 return NullConstraint::Unknown; in getNullConstraint()608 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()658 Nullness != NullConstraint::IsNotNull && in checkPreStmt()722 Nullness == NullConstraint::IsNull && in checkPreCall()749 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()838 if (Nullness == NullConstraint::IsNotNull) in getReceiverNullability()1000 if (Nullness == NullConstraint::IsNull) { in checkPostStmt()[all …]