Lines Matching refs:Nullness
305 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local
306 if (Nullness.isConstrainedFalse()) in getNullConstraint()
308 if (Nullness.isConstrainedTrue()) in getNullConstraint()
692 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local
705 Nullness == NullConstraint::IsNull); in checkPreStmt()
742 Nullness != NullConstraint::IsNotNull && in checkPreStmt()
796 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall() local
806 Nullness == NullConstraint::IsNull && in checkPreCall()
833 if (Nullness == NullConstraint::IsNotNull || in checkPreCall()
929 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability() local
930 if (Nullness == NullConstraint::IsNotNull) in getReceiverNullability()
1157 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt() local
1158 if (Nullness == NullConstraint::IsNull) { in checkPostStmt()