Member predicate IR::WriteInstruction::writes
Holds if this instruction updates variable or constant v to the value of rhs.
predicate writes(ValueEntity v, Instruction rhs)Holds if this instruction updates variable or constant v to the value of rhs.
predicate writes(ValueEntity v, Instruction rhs)