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

[Robert Dewar]

Richard Kenner wrote:

What about -fno-wrapv for the first?

Actually I don't like this.

Why? Because it seems weird to have a flag that you
can turn on and off, but the default is neither on
nor off.