Member predicate Opcode :: hasMayWriteMemoryAccess
Holds if the instruction’s write memory access is a may write, as opposed to a must write.
predicate
hasMayWriteMemoryAccess
(
)