Member predicate DataFlow :: BarrierGuard :: checks
Holds if this guard validates e
upon evaluating to v
.
predicate
checks
(
Expr
e
,
AbstractValue
v
)