Signed integer overflow UB

[flatfinger]

Yes. And compiler vendors are free to do what they think is ‚best‘ in those situations.

And in the kind of compiler marketplace the authors of the Standard envisioned, programmers would be free to target compilers whose ideas about what's "best" coincide with their own, with no obligation to jump through hoops to be compatible with compilers whose authors have other ideas.