Predicate MakeImpl::OverlayImpl::flowToLocal
Holds if data can flow from some source to sink.
This is a local predicate that only has results local to the overlay/base database.
Import path
import codeql.dataflow.internal.DataFlowImplpredicate flowToLocal(Node sink)