comp.lang.ada
 help / color / mirror / Atom feed
From: tmoran@bix.com (Tom Moran)
Subject: Re: Unreferenced lock variables
Date: 1999/04/16
Date: 1999-04-16T00:00:00+00:00	[thread overview]
Message-ID: <3717b010.18059463@news.pacbell.net> (raw)
In-Reply-To: 37179A21.82A1AF7@averstar.com

>permission
>to remove an Initialize/Finalize pair only if there is an assignment
Ah, so the complete removal of the (seemingly) unused control type
declaration is a consequence of being able to optimize the case where
it is in fact used (later)? 
> Initialize(X);
>     ...
>    Finalize(X)
>    <copy Y to X>
What happens if the Initialize or Finalize of X, (which will be
optimized away) modifies Y?  Or is that illegal?




  parent reply	other threads:[~1999-04-16  0:00 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-04-11  0:00 Unreferenced lock variables Simon Wright
1999-04-11  0:00 ` Tom Moran
1999-04-12  0:00 ` Robert Dewar
1999-04-12  0:00   ` Simon Wright
1999-04-12  0:00     ` Robert Dewar
1999-04-12  0:00       ` Jean-Pierre Rosen
1999-04-12  0:00         ` Simon Wright
1999-04-13  0:00         ` Robert Dewar
1999-04-13  0:00         ` Robert Dewar
1999-04-12  0:00       ` Simon Wright
1999-04-14  0:00         ` Robert Dewar
1999-04-13  0:00       ` Tom Moran
1999-04-15  0:00         ` Robert Dewar
1999-04-15  0:00           ` Tom Moran
1999-04-16  0:00             ` Robert Dewar
1999-04-16  0:00               ` Tom Moran
1999-04-16  0:00                 ` Tucker Taft
1999-04-16  0:00                   ` Tom Moran
1999-04-16  0:00                   ` Tom Moran [this message]
1999-04-19  0:00                     ` Tucker Taft
1999-04-20  0:00         ` Tom Moran
1999-04-20  0:00           ` Robert Dewar
1999-04-20  0:00             ` Tom Moran
1999-04-21  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