[Dr_Emann]

Because there is no UB in the original program.

It constructs a pointer to the "one past the end" element, but that is fine, and the original program never dereferences that pointer. Again: there is no UB in the original program.

[magicalhippo]

There's clearly potential for pointer aliasing in the program, isn't that UB?