Searched refs:NullConstraint (Results 1 – 1 of 1) sorted by relevance
298 enum class NullConstraint { IsNull, IsNotNull, Unknown }; enum300 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val, in getNullConstraint()304 return NullConstraint::IsNotNull; in getNullConstraint()306 return NullConstraint::IsNull; in getNullConstraint()307 return NullConstraint::Unknown; in getNullConstraint()395 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull) in checkValueAtLValForInvariantViolation()689 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()710 Nullness == NullConstraint::IsNull) { in checkPreStmt()745 Nullness != NullConstraint::IsNotNull && in checkPreStmt()798 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()[all …]