Comment by Chinjut

How is undefined behavior necessary for this transformation?