@JMac No, because the freedom to allow them to just assume UB doesn't happen allows them to make aggressive optimizations they otherwise couldn't. There's a nice three-part blog series
here on why detecting UB is generally
not in the interest of an optimizing compiler