Member predicate DataFlowImpl4::Configuration::isBarrierEdge

Holds if data flow from node1 to node2 is prohibited.

predicate isBarrierEdge(Node node1, Node node2)