Re: Elaboration Question

["Randy Brukardt" <randy@rrsoftware.com>]

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:cgoihuF7sr6U1@mid.individual.net...
...
>> The onus is on the calling code to ensure elaboration happens
>> correctly.  The best strategy to use from the library-side is to just
>> make sure all your code is Preelaborate (or Pure), and the problem
>> solves itself.
>
> This advice probably works in practice, but formally speaking, I cannot 
> find a promise in the Ada RM (2012 version) that a Preelaborable library 
> unit is free of elaboration code.

You need to look in Annex C, specifically C.4 Preelaboration Requirements

But notice that just because a package is preelaborable doesn't 
automatically mean that no code is generated. That's only true in a limited 
set of circumstances (as outlined in C.4), and moreover, Annex C is optional 
so a compiler might not follow this subclause at all.

                                        Randy.