From: kilgallen@eisner.decus.org (Larry Kilgallen, LJK Software)
Subject: Re: Importing C Structures
Date: 26 Mar 95 08:16:52 -0500
Date: 1995-03-26T08:16:52-05:00 [thread overview]
Message-ID: <1995Mar26.081652.9489@eisner> (raw)
In-Reply-To: D5zqB9.5F8@thomsoft.com
In article <D5zqB9.5F8@thomsoft.com>, kst@thomsoft.com (Keith Thompson) writes:
> Here's an example of an erroneous use of address clauses in Ada 83:
>
> X : Integer;
> ...
> Y : Integer;
> for Y use at X'Address;
>
> The reason this is erroneous is that the compiler may not be aware that
> X and Y are really the same object (X may be declared in a different
> compilation unit, or the overlaid object might be something more
> complex than a simple object, say a dynamically indexed array element).
> The compiler is free to keep the value of X in a register, optimize out
> dead assignments, etc., so the apparent values of X and Y won't track
For an address representation clause, which might be used to access hardware,
optimizing out dead assignments seems quite inappropriate. Is there no
Ada83 method of avoiding such an optimization for such objects?
next prev parent reply other threads:[~1995-03-26 13:16 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-23 6:34 Importing C Structures Chris O'Regan
1995-03-23 7:55 ` Vladimir Vukicevic
1995-03-23 18:55 ` Robert S. White
1995-03-24 8:51 ` Vladimir Vukicevic
1995-03-25 9:57 ` Keith Thompson
1995-03-26 13:16 ` Larry Kilgallen, LJK Software [this message]
1995-03-27 0:00 ` Kevin F. Quinn
1995-04-07 0:00 ` Larry Kilgallen
1995-03-27 15:35 ` Theodore Dennison
1995-03-28 0:00 ` Robert Dewar
1995-03-28 11:44 ` Keith Thompson
1995-03-29 0:00 ` misattrubation (was: Re: Importing C Structures) Theodore Dennison
1995-03-31 0:00 ` Theodore Dennison
1995-03-27 23:39 ` Importing C Structures Keith Thompson
1995-03-27 16:00 ` Norman H. Cohen
1995-03-24 16:08 ` Robert I. Eachus
1995-03-24 20:20 ` Bob Gilbert
1995-03-25 18:07 ` Robert Dewar
1995-03-24 17:30 ` Robert Dewar
1995-03-24 15:32 ` 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