Re: Why can't objects be static in Ada?

[Mark Lorenzen <mark.lorenzen@gmail.com>]

On Friday, April 12, 2019 at 12:49:07 AM UTC+2, Randy Brukardt wrote:
> 
> fix this. There's no good reason (outside of Annex E issues) for declaring 
> any package preelaborated, unless you like fighting errors a lot. C.4 is a 
> load of hooey, it's not actually implementable on the margins, and there's 
> no reason for any compiler to generate more code than necessary. Ergo, 
> you'll most likely get the same code whether or not you declare something 
> Preelaborated, so why bother with all of the hassles?

For certification purposes, I think there is a value in avoiding elaboration code.

http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/support_for_certified_systems.html#avoiding-elaboration-code

I had the need to deal with it myself though.

Regards,
Mark L