Re: Elaboration in GNAT

[dewar@gnat.com (Robert Dewar)]

Frode Tenneboe <ft@edh.ericsson.se> wrote in message news:<1010411468.548451@edh3>...
> I realize that it is not necesarily true in all cases, 
> but won't the compiler be able to detect if pragma EB is 
> appropriate?

No, because it cannot see the body in question
> 
> I find the section starting with "The rule is simple.", > 
> second from bottom on page 119 in the GNAT 3.13p UG to be 
> quite concise.

Well I don't have that version of the UG in front of me,
but if it is about EB, it is probably wrong. Early versions
of GNAT were definitely too ready to believe that the EB
pragma gave some useful guarantees when in fact it does not. It is not
better than a pragma Elaborate (as opposed
to Elaborate_All). 

If a package uses something at run time from an Elaborate_Body
package, then it cannot know what is
in the body, so in the general case you still need
a pragma Elaborate_All in such a case (and one will
be supplied automatically when using the GNAT standard
static approach).