Member predicate BarrierGuard::checks
Holds if this guard validates node
upon evaluating to branch
.
predicate checks(ControlFlowNode node, boolean branch)
Holds if this guard validates node
upon evaluating to branch
.
predicate checks(ControlFlowNode node, boolean branch)