Re: GCC optimizes integer overflow: bug or feature?

[Florian Weimer]

* Robert Dewar:

> What is (a*2)/2 optimized to? certainly it has the value a if you
> wrap,

Huh?  Isn't (INT_MAX*2)/2 negative (and thus not equal to INT_MAX) in
2-complement arithmetic?