Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."

[Vincent Lefevre]

On 2006-12-30 20:07:09 -0500, Robert Dewar wrote:
>  In my view, this comparison optimization should not have been put in
>  without justification given that it clearly does affect the semantics
>  of real code. Indeed if you really see code like
> 
>    if (a - 10 < 20)
> 
>  in place of
> 
>    if (a < 30)
> 
>  a very likely explanation is that you are deliberately doing something
>  strange with wrap around, and should leave it alone.

I disagree concerning your "very likely explanation". This code
may come from the use of macros, in which case this has nothing
to do with wrap around.

-- 
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)