Paul Eggert wrote:
That's great, but GCC has had many other hands stirring the pot. I daresay a careful scan would come up with many other examples of undefined behavior due to signed integer overflow. (No doubt you'll be appalled by them as well, but there they are.)
That's handwaving, not evidence. Sorry, I'm unconvinced. Bernd
