Member predicate ControlFlow::WriteNode::writesComponent
Holds if this node sets any field or element of base
to rhs
.
predicate writesComponent(Node base, Node rhs)
Holds if this node sets any field or element of base
to rhs
.
predicate writesComponent(Node base, Node rhs)