Re: AQ&S Guidance on pragma Elaborate_Body

["Nick Roberts" <Nick.Roberts@dial.pipex.com>]

Robert Dewar <dewar@merv.cs.nyu.edu> wrote in article
<dewar.861936524@merv>...
> 
> 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.
> 
> So far, we have only found a few ACVC tests that defeated these static
> checks. We will know more when more people have a chance to try out this
> new approach.
> 
> Robert Dewar
> Ada Core Technologies.


This is very neat, but wouldn't it be better, for cases where it is not
strictly determinate, simply for the compiler to issue a warning that
Program_Error may be (or 'is likely to be') raised, and compile as normal?
Surely this would give the best of both worlds.

Nick.