Interesting point, but a better post about compilers exploiting this type of ub is ryg’s:

https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759...