I don't think removing all UB is a tractable goal in most languages that are used and allow a lot of UB. In general, devs are choosing those languages because of some other feature that makes dancing on the rim of the cliff perpetually worth it.
Given that reality, knowing what your compiler will do with UB is useful and important because you're going to see it all the time in debugging. Even if it's ugly, it needs to be treated as a familiar face.
Given that reality, knowing what your compiler will do with UB is useful and important because you're going to see it all the time in debugging. Even if it's ugly, it needs to be treated as a familiar face.