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