Re: Semantics of Inline vs non-Inline

[Wojtek Narczynski <wojtek@power.com.pl>]

Hello,

> Any idea which view is the correct one?

I would say - neither. Optimizations (pragma inline is supposed to be one)
sometimes do change the behavior of the program. For example on x86 you
can get different floating point results, depending on the optimization
level, and that's legal and logical.

But in this case, if the compiler is unable to do both (pragma Inline, and
for X'Address) it should tell you about it, not fail at runtime.

I think that using Unchecked_Conversion, instead of (ab)using 'Address rep
clause, will fix the problem.

Oh, and why is Push a function?

Finally, inlining is often counter-productive, because it causes code size
explosion, which in turn causes CPU cache hit ratio degradation.


Regards,
Wojtek