Member predicate Expr::hasMaybeNullFlowState

Holds if the nullable flow state of this expression may be null.

predicate hasMaybeNullFlowState()