Searched refs:Nullness (Results 1 – 1 of 1) sorted by relevance
305 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local306 if (Nullness.isConstrainedFalse()) in getNullConstraint()308 if (Nullness.isConstrainedTrue()) in getNullConstraint()692 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local742 Nullness != NullConstraint::IsNotNull && in checkPreStmt()796 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall() local806 Nullness == NullConstraint::IsNull && in checkPreCall()833 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()930 if (Nullness == NullConstraint::IsNotNull) in getReceiverNullability()1156 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt() local[all …]