Re: Sharing generic bodies across instantiations.

[Markus Schoepflin <nospam@no.spam>]

Am 28.07.2010 02:55, schrieb Keith Thompson:

[...]

> I don't believe the definition of pragma Optimize was ever that
> specific; as far as I know, it was always intended merely as a vague
> hint.
>
> Here's the description from the Ada 83 reference manual:
>
>      OPTIMIZE Takes one of the identifiers TIME or SPACE as the single
>      argument. This pragma is only allowed within a declarative part
>      and it applies to the block or body enclosing the declarative
>      part. It specifies whether time or space is the primary
>      optimization criterion.
>
> Using it to control generic code sharing would certainly be reasonable,
> but it's not required.

And Ada compiler is certainly not required to do anything but syntax 
checking for pragma optimize, but at least they had code sharing in mind 
when specifying the pragma.

 From the 2005 AARM:

<quote>
27.a Implementation defined: Effect of pragma Optimize.
27.b Discussion: For example, a compiler might use Time vs. Space to 
control whether generic instantiations are implemented with a 
macro-expansion model, versus a shared-generic-body model.
</quote>