[account42]

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

[veltas]

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)?