Member predicate DataFlow::LabeledBarrierGuardNode::getALabel
DEPRECATED: Use blocks(outcome, e, label)
or sanitizes(outcome, e, label)
instead.
Overriding this predicate has no effect.
DEPRECATED: Use blocks(outcome, e, label)
or sanitizes(outcome, e, label)
instead.
Overriding this predicate has no effect.