[AlotOfReading]

Being able to reason about a particular instance of a particular compiler on a specific undefined construct does not imply UB is defined generally.

[charcircuit]

I never said it is defined generally. I said that it eventually gets defined as in it may come down to the source code of a specific version of the compiler that defines the behavior.