From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Finalization and class-wide views
Date: Thu, 16 Jun 2016 09:34:51 +0200
Date: 2016-06-16T09:34:51+02:00 [thread overview]
Message-ID: <njtkrm$1cdn$1@gioia.aioe.org> (raw)
In-Reply-To: njspjc$q21$1@dont-email.me
On 16/06/2016 01:50, Alejandro R. Mosteo wrote:
> So the first declare is straightforward, the second one seems to involve
> a temporary somewhere, and (here is my hope that this is not normal) the
> last one, where seemingly B.M finalization seems missing. The integer
> tells me that the previous finalization is of a temporary.
In my case GNAT optimizes all three B's away.
> I hope some of you experts can shed some light. To summarize: do
> class-wide conversions affect finalization?
No. A view conversion may not affect the object. The only question is
what object.
> Do you smell something fishy
> in this case?
Nothing except for broken semantics of assignment, at least in the third
case. Maybe it is broken per design, let's hear what Ada lawyers say.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2016-06-16 7:34 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-15 23:50 Finalization and class-wide views Alejandro R. Mosteo
2016-06-16 7:34 ` Dmitry A. Kazakov [this message]
2016-06-16 9:11 ` Alejandro R. Mosteo
2016-06-16 11:10 ` Alejandro R. Mosteo
2016-06-17 10:22 ` Alejandro R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox