Member predicate Configuration::isBarrierGuard
Holds if data flow through nodes guarded by guard
is prohibited.
predicate isBarrierGuard(BarrierGuard guard)
Holds if data flow through nodes guarded by guard
is prohibited.
predicate isBarrierGuard(BarrierGuard guard)