This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Storage for uninitialized objects (PR 24626)
- From: Robert Dewar <dewar at adacore dot com>
- To: Paul Schlie <schlie at comcast dot net>
- Cc: Michael Veksler <mveksler at techunix dot technion dot ac dot il>, Ian Lance Taylor <ian at airs dot com>, John David Anglin <dave at hiauly1 dot hia dot nrc dot ca>, gcc at gcc dot gnu dot org
- Date: Sun, 15 Jan 2006 13:02:13 -0500
- Subject: Re: Storage for uninitialized objects (PR 24626)
- References: <BFEFF705.CAD9%schlie@comcast.net>
Paul Schlie wrote:
- Thank you, I'll give it a try; although may attempt to name it:
-force-deterministic-semantics
Please don't, that's a dubious term, since it is
contentious, and detracts from the useful nature of this
proposition.
presuming its longer term intent would be to warrant that some defined
default deterministic semantic is uniformly assumed for all otherwise
indeterminate behaviors throughout all levels of optimization; thereby
guaranteeing that a given program will behave logically the same
regardless of the level of optimizations applied to it.
That's almost impossible to do completely, it would be a huge design
effort to understand what the issues are.
Much better to have individual switches to control individual well
understood cases.
That's what we do in the GNAT world, and it works well.