Re: Semantics of Inline vs non-Inline

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

Hello,

> The question here is not "Inline vs. not Inline", but "is 'Address attribute 
> guaranteed to deliver correct results".

Okay.

> RM 13.3(15..18) specify the recommended level of support.

Those paragraphs do not mandate returning a rubbish address for unsuported
cases. Also please note that if you use other attributes in context where
it does not make sense, the compiler will tell you about it.

> RM 13.3(13) says it's the programmer's responsibility to ensure the
> address is valid.

"If an Address is specified, it is the programmer's responsibility to
ensure that the address is valid; otherwise, program execution is
erroneous."

This does not say anything about when 'Address produces correct result, it
only says that in "for X'Address use <XXXXX>", you're supposed to provide
correct <XXXXX>.

Regards,
Wojtek