This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Setting -frounding-math by default
On Tue, Mar 10, 2009 at 12:27 PM, Sylvain Pion
<Sylvain.Pion@sophia.inria.fr> wrote:
> Other ways might be possible. E.g. avoiding the wrapping if
> the associativity concept/axiom is somehow local to the function
> and does not leak elsewhere if you provide an Associativity
> concept_map for double (or are "scoped concept maps" about
> this issue ? I should learn about this.).
A general idea behind axioms is that they hold for the values and archetypes in
a generic function -- even if globally they may not be universally true.
That is the local aspect of axioms. Of course, you can make (global)
concept_maps too.
Anyway, I think you would NOT want the compiler to disable useful
optimizations globally, but only where some transformations may not
be appropriate.
-- Gaby