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, POW writes back a pointer exponent, even though it is not part of the transformed value.
According to the specification section 5.4:
In the implementation,
POWwrites back a pointer exponent, even though it is not part of the transformed value.