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.
