[marcosdumay]

Well, aliased updates are undefined behavior already.

[not_a_bijection]

Not in C, unless at least one of the pointers were marked `restrict`.