When I answered this question, I wrote:
First, it is important to note that it is not only the behaviour of the user program that is undefined, it is
There is no compiler mentioned in the standard and implementation details are up to the vendors.
The standard defines how code should behave (in a syntactical and semantical way) and/or be constrained in complexity terms regarding some standard library algorithms. The source code doesn't have to have a precise behavior (nor this is defined anywhere). Every compiler just has to produce code that, under the as-if rule, is correct.
It doesn't make sense to refer to undefined behavior of the compiler