> conforming implementations cannot transform code on the basis that some behavior left undefined by the standard is impossible

You may have misunderstood how rogue optimizers obtain their license to miscompile.

It is not by assuming that the "behavior left undefined is impossible".

As boring and tautological as it sounds, it is by assuming that the operation with "behavior left undefined", when it actually happens, has undefined (and therefore arbitrary) behavior.