Ada question about PR 18434

[Robert Dewar]

Laurent GUERBY wrote:

> However I see no reason why Osint body elaboration must be done
> before Osint.M body elaboration, it seems to me that the
> binder could perfectly choose to elaborate Osint.M body
> before Osint body, and this would leave Running_Program
> with the "wrong" value Rainer observes when gnatmake is running.

Sorry I don't get this. There is an elaboration call from the
package body of Osint.M to a subprogram declared in the body
of Osint. That means that the body of Osint has to be elaborated
before the body of Osint.M. That is what the static model of
elaboration is all about, ensuring such conditions are met.

Note that it is quite wrong to try to compile GNAT with the
dynamic model of elaboration.
> 
> If I'm guessing correctly there are two solutions:

No problem in the sources, so no solution needed. If you
are managing to see a problem, this is not the source.

You can of course check the order of elaboration by
looking at it. I would be surprised if there were a
bug in the statid elab model for such a simple case,
and indeed the elab order is certainly right in my
builds.