comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Pointers
Date: Sun, 12 Mar 1995 23:02:21 GMT
Date: 1995-03-12T23:02:21+00:00	[thread overview]
Message-ID: <D5Cnzx.BHr@world.std.com> (raw)
In-Reply-To: 3jki04$9bj@theopolis.orl.mmc.com

In article <3jki04$9bj@theopolis.orl.mmc.com>,
Bob Gilbert <rgilbert@orl.mmc.com> wrote:
>In my experience I have found several cases where the simple "for x use at .."
>will not work.  One problem is that with most comilers which support the 
>address clause, will perform a write to the memory location (initialization 
>I suppose) during elaboration.  This can cause problems with "read only" 
>addresses. ...

In Ada 95, you can turn off that behavior with a pragma Import.
See RM-B.1(38).

> ...In these situations I 
>had to resort to using access types, unchecked_conversion, and the knowledge
>that the comiler implements access types as addresses, to work around the 
>problem.  

You don't normally need to do that anymore, but if you ever *do* want to
deal with access values as addresses, use the
Address_To_Access_Conversions package -- you no longer need to make
*assumptions* about the representation of the access values.

- Bob



  parent reply	other threads:[~1995-03-12 23:02 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-03-06  9:35 Pointers Jon Freeman
1995-03-06 12:27 ` Pointers Robert A Duff
1995-03-07 12:20 ` Pointers Robert Dewar
     [not found]   ` <3jki04$9bj@theopolis.orl.mmc.com>
1995-03-12 23:02     ` Robert A Duff [this message]
1995-03-13 15:54     ` Pointers Tucker Taft
1995-03-13 20:16 ` Pointers David Kusuda
  -- strict thread matches above, loose matches on Subject: below --
2006-06-01 19:46 pointers Schüle Daniel
2006-06-01 20:10 ` pointers Ludovic Brenta
2006-06-02  4:36 ` pointers Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox