Searched defs:Nullness (Results 1 – 1 of 1) sorted by relevance
305 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint() local 692 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt() local 796 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); checkPreCall() local 929 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); getReceiverNullability() local 1157 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); checkPostStmt() local [all...]