It's bad when compiler writers want to optimize correct code as much as possible, which is something their actual customers keep asking for?

When would optimizing correct code be harmed by not abusing UB (beyond its original intent, e.g. array access should be without overhead of checking for overflow)?