Predicate signature MakeImpl::FullStateConfigSig::isBarrierOut
Holds if data flow out of node
is prohibited when the originating flow state is state
.
signature predicate isBarrierOut(Node node, FlowState state)
Holds if data flow out of node
is prohibited when the originating flow state is state
.
signature predicate isBarrierOut(Node node, FlowState state)