Storage for uninitialized objects (PR 24626)

[Robert Dewar]

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.