gcc interprets -0 incorrectly

[Segher Boessenkool]

Justin Pryzby wrote:
> 
>  * From algebra: it is clear that for all x=-x, 2x=0, x=0.

x=0 is not implied by 2x=0 in this ring (the ring of integers
modulo some power of two); this ring is not an integral domain,
and 2 is a zero divisor.

-MIN_INT == MIN_INT  is perfectly fine, mathematically.


Segher