Member predicate LoopBoundInjection::BarrierGuard::blocksExpr
Holds if this node acts as a barrier for data flow, blocking further flow from e if this evaluates to outcome.
predicate blocksExpr(boolean outcome, Expr e)Holds if this node acts as a barrier for data flow, blocking further flow from e if this evaluates to outcome.
predicate blocksExpr(boolean outcome, Expr e)