Searched refs:getNullConstraint (Results 1 – 1 of 1) sorted by relevance
299 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val, in getNullConstraint() function390 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull) in checkValueAtLValForInvariantViolation()657 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()761 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()886 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability()1115 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt()1229 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State); in checkBind()