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

[Richard Kenner]

> I don't think -frisky is a good name for that option.  A better name
> would be -fstrict.

Or -pedantic?  ;-)

> 4) We permit an exception to occur if there is a signed overflow.  If
>    we can prove that some expression causes signed overflow, we are
>    permitted to assume that that case will never arise.
> 
> Case 4 actually never arises at present, and I can't imagine any
> reason that it would be desirable.

Agreed.  Going down this direction leads to Robert's "erase the disk"
example.