According to the specification section 5.4:
When a built-in operator produces a transformed value from one or more operand arguments, any operand argument that is a pointer literal MUST be written back through the alias for that operand. Arguments that act only as flags, modes, delimiters, bounds, or other control inputs MUST NOT be written back unless they are themselves part of the transformed output.
In the implementation, however, INV (which modifies it's operand) does not write back pointer references.
According to the specification section 5.4:
In the implementation, however,
INV(which modifies it's operand) does not write back pointer references.