Re: AQ&S Guidance on pragma Elaborate_Body

[Mats Weber <Mats.Weber@elca-matrix.ch>]

Robert Dewar wrote:

> In its default configuration, GNAT 3.10 does not require you to write
> "zillions of pragmas", and guarantees that Program_Error cannot occur.
> Now it is true that you can construct programs that are treated as
> statically illegal in this default mode, when they are in fact legal,
> but in practice we have found that the rules we implement (which basically
> assume pragma Elaborate_All if not stated where needed because of access
> from elaboratoin code) seem to work for a very large subset of programs.

...which shows that automatic elaboration order construction is _state
of the art_ (this is further confirmed by other compilers (Verdix, DEC)
I use without a single pragma Elaborate* and without ever getting
Program_Error).

IMO, state of the art belongs in the standard, not in nice compiler
specific features, which would have allowed the standard to take a
different approach: automatic elaboration order consturction with
pragmas to _override_ it, instead of pragmas to do the right thing in
the most basic cases.