Re: Does object renaming allow the view to be a copy?

[AdaMagica <christ-usch.grein@t-online.de>]

Am Sonntag, 22. Januar 2017 09:27:47 UTC+1 schrieb G.B.:
> A SO answer (41746244) has given rise to the question of whether
> or not a compiler implementer may make a renamed object a copy
> of the original. (Layman's assumptions from LRM 3.1(7), 8.5.1),

3.1(7) ...a renaming_declaration is an example of a declaration that does not define a new entity, but instead defines a view of an existing entity (see 8.5)...

So how can you think a compiler may create a copy?

8.5(3) The elaboration of a renaming_declaration evaluates the name that follows the reserved word renames and thereby determines the view and entity denoted by this name (the renamed view and renamed entity).
[A name that denotes the renaming_declaration denotes (a new view of) the renamed entity.]

Same here. You get a new view of the entity.

BTW: A renaming is not a macro. Thus the following fragment does not change X:

X: T renames Y (I);

I := I + 1;