[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: Andrew Pinski
Subject: Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."
Date: Sat, 30 Dec 2006 18:57:12 -0500 (EST)

> Gabriel Dos Reis wrote:
> > I have been looking into infer_loop_bounds_from_signedness() called
> > from infer_loop_bounds_from_undefined().
> > At some places, nowrap_type_p() is used but this function operates
> > only on types, so there will be too many false positive there; yet we
> > will miss warning through that case.
> My inclination is to skip the warning for the loop
> induction variable case. I think this will generate
> lots of false positives, and almost no useful
> warnings (I still think this is the one and only
> case where the undefined optimization should be done,
> in fact I think it would be useful to have a switch
> that says
> -fwrapv-in-all-cases-except-loop-bounds

Again, please don't this the default for Fortran as integer
overflow has been undefined since at least 1977 so I don't think
it is a good idea for GCC in general anyways as evidence of Fortran.

-- Pinski

reply via email to

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