------- Comment #2 from daven at model dot com  2009-10-30 22:28 -------
Subject: Re:  gcc bug when comparing x to -x (linux, 32-bit)


Thanks for your quick response.  I would like to point out that on every 
compiler and machine
I've used, the behavior of signed overflow may not be defined -- but 
it's always been consistent.

Perhaps the inline optimizations that are taking place could be made to 
at least function the
same way as the non-inlined case?  (Or am I going to get no-bugged on 
this bugz?)

--David

rguenth at gcc dot gnu dot org wrote:
> ------- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-30 22:23 
> -------
> signed overflow invokes undefined behavior.  You can use -fwrapv to make it
> wrapping.  Or you can use unsigned types for the comparison, like
>
>  if ((unsigned)x != -(unsigned)x)
>
>
>   


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41882

Reply via email to