TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To:
Date:
Sat, 18 May 2002 05:06:36 +0400
Reply-To:
"Alexandre E. Kopilovitch" <[log in to unmask]>
Subject:
From:
"Alexandre E. Kopilovitch" <[log in to unmask]>
Content-Type:
text/plain; charset=us-ascii
Organization:
h w c employees, b f
MIME-Version:
1.0
Parts/Attachments:
text/plain (14 lines)
>   Ada95 does not
>   guarantee comparisons of subprogram 'Access values. As explained
>   in [RM 3.10.2(39)], [RM 4.5.2(13)], and other places, a compiler
>   "implementation may consider two access-to-subprogram values to be
>   unequal, even though they designate the same subprogram. This might
>   be because one points directly to the subprogram, while the other
>   points to a special prologue that performs an Elaboration_Check and
>   then jumps to the subprogram." Thus, each 'Access attribute reference
>   for a given subprogram is allowed to designate a distinct wrapper if
>   needed, to support an indirect call.

If you are using GNAT compiler then you may consider the Code_Address attribute
instead of Access (see Implementation Defined Attributes in GNAT Reference Manual).

ATOM RSS1 RSS2