This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Might a -native-semantics switch, forcing native target optimization semantics, be reasonable?
- From: Robert Dewar <dewar at adacore dot com>
- To: Paul Schlie <schlie at comcast dot net>
- Cc: Gabriel Dos Reis <gdr at integrable-solutions dot net>, GCC Development <gcc at gcc dot gnu dot org>
- Date: Mon, 02 Jan 2006 11:55:37 -0500
- Subject: Re: Might a -native-semantics switch, forcing native target optimization semantics, be reasonable?
- References: <BFDEC36B.C8FC%schlie@comcast.net>
Paul Schlie wrote:
- however as promised I'll abstain from further debate as the community
seems satisfied with accepting the consequences of such optimizations.
I think you misunderstand, everyone agrees that defined and
deterministic semantics are
desirable, but also everyone (or perhaps I should say almost everyone)
understands that
there are situations where this requirement is too expensive. An obvious
example is
uninitialized variables, where in a language like C or Ada, it is
considered to expensive
(and not clearly desirable) to preinitialize all variables (though it is
useful to have an
option to do this, see pragmas Normalize_Scalars and Initialize_Scalars
in Ada, the
former intended for high integrity operation, and the latter for
debugging purposes).