Re: Semantics of Inline vs non-Inline

["Arthur Schwarz" <aschwarz1309@worldnet.att.net>]

"Martin Krischik" <krischik@users.sourceforge.net> wrote in message
news:6545303.EbTl0XcSZp@linux1.krischik.com...
> Arthur Schwarz wrote:
>
> > Martin Krischik wrote:
> >
> >> skidmarks wrote:
> function Push( Datum : access Datum_Type ) return List.Cell_Ptr is
> LM_Datum : List.Datum_Type;
> for LM_Datum'Address use Datum.all'Address;
> begin -- Push
> return List.Push(LM_Datum);
> end Push;
> pragma inline( Push );
>
> By passing an access you force the compiler to make sure an address is
> available.

  A clue, a clue. Thank you. This (and the other suggestions by you and the
  other comp.lang.ada respondent) will be tried.

  Does this mean that I pass an access type or indicate, to the compiler,
that
  the compiler should generate code such that a valid address is available?
>
> The non inlined version only works because you where luck. However, there
is
> just one thing where you should go back to your verndor and insist on a
bug
> to be fixed: PROGRAM_ERROR should have been raised. And most compilers
> issue a warning when the code for PROGRAM_ERROR is generated.

  The vendor is in a state of denial. They deny that this is a bug (as,
sigh, do you)
  and may well not see that if it is not a bug, then the application is due
a diagnostic
  message. Sic caveat emptor.
>
> With Regards
>
> Martin

  Thank you. I don't like your answer (drat) but I'm equally sure it is
correct. And
  you have provided fruitful ways for me to explore the underside of Ada and
  perhaps repair this error. (And I do apologize for misspelling,
missgrammer,
  and all other miss's).

art