From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: Finalization and class-wide views
Date: Thu, 16 Jun 2016 11:11:15 +0200
Organization: A noiseless patient Spider
Message-ID: <njtqfj$cai$1@dont-email.me>
References: <njspjc$q21$1@dont-email.me> <njtkrm$1cdn$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 16 Jun 2016 09:11:15 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="6d84a6c85b8a1a019c7ed28ae8b7efda";
	logging-data="12626"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19OhZ7byEszzW+bQfs1+oAZ"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.8.0
In-Reply-To: <njtkrm$1cdn$1@gioia.aioe.org>
Cancel-Lock: sha1:Wv4ygoggvKEIiSXVos08/BfH4JY=
Xref: news.eternal-september.org comp.lang.ada:30758
Date: 2016-06-16T11:11:15+02:00
List-Id: <comp.lang.ada>

On 16/06/16 09:34, Dmitry A. Kazakov wrote:
> 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.

Thanks for taking the time of going over my example and confirming this 
point.

>> 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.

Ok, thanks.
Alex.