Member predicate DataFlow::Node::mayHaveStringValue

Holds if this node may evaluate to the string s, possibly through local data flow.