Searched defs:Nullness (Results 1 – 1 of 1) sorted by relevance
301 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local657 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local761 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall() local886 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability() local1115 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt() local