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: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Stupid Question but it bothers me
Date: Mon, 19 Jan 2015 21:55:48 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <m9kn3m$9a4$1@dont-email.me>
References: <6Tgvw.1229422$Rp.389422@fx23.iad>
 <6ab3d681-9b5b-41ef-b3b1-80ac39c783ef@googlegroups.com>
 <B7ivw.1481693$1s.397858@fx05.iad>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 20 Jan 2015 04:55:20 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="3da8e3f3a7453b5ebbe03ccf104af7b2";
	logging-data="9540"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18UHnDvHqBB+eXyGitEoYsK8yoii64l/T0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Thunderbird/31.4.0
In-Reply-To: <B7ivw.1481693$1s.397858@fx05.iad>
Cancel-Lock: sha1:o/7IcXX92SDmPuxRDhtMlbRUms8=
Xref: news.eternal-september.org comp.lang.ada:24622
Date: 2015-01-19T21:55:48-07:00
List-Id: <comp.lang.ada>

On 01/19/2015 06:24 PM, Hubert wrote:
> 
>> A.18.4~81/2 - "No storage associated with a Map object shall be lost upon
>> assignment or scope exit."
>>
>> -sb
>>
> So that means it is deleted, right?

Also useful is ARM A.18.4(4/2): "The type Map needs finalization (see 7.6)."

By ARM 7.6(9.3/3), your record type also needs finalization.

Effectively, Map is a controlled type, even if it isn't implemented that way. In
combination with ¶81, ¶4 means that effectively Finalize is defined for the type
and does any clean up necessary to avoid storage leaks.

-- 
Jeff Carter
"So if I understand 'The Matrix Reloaded' correctly, the Matrix is
basically a Microsoft operating system--it runs for a while and
then crashes and reboots. By design, no less. Neo is just a
memory leak that's too hard to fix, so they left him in ... The
users don't complain because they're packed in slush and kept
sedated."
Marin D. Condic
65