Ohhh. I misunderstood the example. That would not only depend on a lack of register usage, but depend on
where the variables are stored on the stack, which I don’t think anyone could reasonably demand even in 1976.
So I still feel there must be a more reasonable and therefore motivating example of optimizations one would want that are enabled by surprising you with UB. (Which I think was the idea behind this example.)