Re: GCC optimizes integer overflow: bug or feature?

[Robert Dewar]

Paolo Bonzini wrote:

> No, it has not.  For example, if a is 0x40000000 in a 32 bit type and 
> arithmetic wraps, a*2 = -0x80000000 (overflow), and hence (a*2)/2 = 
> -0x40000000 = -1073741824.
>
> Paolo

Yes indeed, my mistake, I was thinking unsigned :-(
and of course signed is the whole point here!