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