Well, aliased updates are undefined behavior already.
Not in C, unless at least one of the pointers were marked `restrict`.
Not in C, unless at least one of the pointers were marked `restrict`.