Member predicate GuardedDataFlowNode :: mustHaveValue
Holds if this data flow node must have abstract value v
. That is, this
data flow node is guarded by a structurally equal expression having
abstract value v
.
predicate
mustHaveValue
(
AbstractValue
v
)