> I have never seen the benefit of leaving signed overflow undefined,

IIRC it affords huge optimization opportunities, esp. around loops. (Now, whether you like that or not is a value judgment, but a lot of people do want those optimizations.)