From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Subprogram Renaming
Date: 1996/04/11
Date: 1996-04-11T00:00:00+00:00 [thread overview]
Message-ID: <Dppsx1.5BA@world.std.com> (raw)
In-Reply-To: 4kjkg6$4m2@krusty.irvine.com
In article <4kjkg6$4m2@krusty.irvine.com>,
Adam Beneschan <adam@irvine.com> wrote:
> package q is
> procedure j;
> end q;
>
> package body q is
> procedure k;
> procedure j renames k;
> end q;
>
>Are j'address and k'address equal? Is there anything in the RM that
>says one way or the other whether they must be equal?
No. The RM does not require them to be equal, nor does it require them
to be unequal.
>How about j'access and k'access?
No, no requirement.
In fact, it's worse than that -- the RM does not even require that
P'Access = P'Access, for any procedure P. See 4.5.2(13-13.a) and
3.10.2(39).
>I can't think of a legitimate reason to compare the two in actual
>code, in either case. I'm just curious if the RM says anything about
>it, and if this would prevent the compiler from generating code for
>"j" that calls "k".
The compiler can generate code for j that calls k. It can also generate
code for j that just *jumps* to the start of k (so the return
instruction in k returns directly to the caller of j). Or, it can
generate no code for j, and make calls to j and k call to the same
address.
- Bob
next prev parent reply other threads:[~1996-04-11 0:00 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <md5:95D854EBD1A47E0E86027A3CC7DBD9A4>
1996-04-10 0:00 ` Subprogram Renaming James A. Squire
1996-04-10 0:00 ` Robert Dewar
1996-04-11 0:00 ` Jonas Nygren
1996-04-11 0:00 ` Robert Dewar
1996-04-12 0:00 ` Jonas Nygren
1996-04-10 0:00 ` Robert A Duff
1996-04-11 0:00 ` Adam Beneschan
1996-04-11 0:00 ` Robert Dewar
1996-04-11 0:00 ` Robert A Duff [this message]
1996-04-10 0:00 ` johndoe
[not found] <md5:3CC2294B6049DDBD8790280EABCEDE81>
1996-04-12 0:00 ` James A. Squire
[not found] <md5:87494FB95037B9578F62831DE10B6BB3>
1996-04-10 0:00 ` James A. Squire
[not found] <md5:88A5E8822105A2023A0A951BB5EC646E>
1996-04-10 0:00 ` James A. Squire
[not found] <md5:FE4AB546A8392541EDC1E3FE12E3D8AF>
1996-04-09 0:00 ` James A. Squire
1996-04-09 0:00 ` Robert Dewar
1996-04-10 0:00 ` Robert A Duff
1996-04-11 0:00 ` Mark A Biggar
1996-04-10 0:00 ` johndoe
1996-04-10 0:00 ` Norman H. Cohen
1996-04-11 0:00 ` Norman H. Cohen
1996-04-12 0:00 ` Jonas Nygren
1996-04-12 0:00 ` Norman H. Cohen
1996-04-13 0:00 ` Robert A Duff
1996-04-15 0:00 ` Norman H. Cohen
[not found] <md5:046A59600C3FEFC327385C3E914D6997>
1996-04-08 0:00 ` James A. Squire
1996-04-08 0:00 ` Robert Dewar
1996-04-09 0:00 ` Gary McKee
1996-04-09 0:00 ` Robert A Duff
[not found] <md5:C24D8C2EE138D9627FB8B93E2E35D9F3>
1996-04-05 0:00 ` James A. Squire
1996-04-06 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox