This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."
> 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.