Member predicate GuardedDataFlowNode::getAGuard
Gets an expression that guards this data flow node. That is, this data flow
node is only reached when the returned expression has abstract value v
.
The expression sub
is a sub expression of the guarding expression that is
structurally equal to the expression belonging to this data flow node.
In case this data flow node or sub
accesses an SSA variable in its
left-most qualifier, then so must the other (accessing the same SSA
variable).
Guard getAGuard(Expr sub, AbstractValue v)