[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Vincent Lefevre
Subject: Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."
Date: Sun, 31 Dec 2006 17:24:22 +0100
User-agent: Mutt/1.5.13-vl-r14963 (2006-12-20)

On 2006-12-31 11:01:45 -0500, Robert Dewar wrote:
> The issues are
> a) are these optimizations valuable? (and if so, in all cases,
>    or only in practice for loop invariants?).

Even if they aren't valuable today, you don't know what will happen
in future code. So, there's another issue: is it OK to encourage bad
practice (possibly as a side effect by making a difference between
loop invariants and other cases)?

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]