From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Newsgroups: comp.lang.ada
Subject: Re: Freeing access-to-task objects
Date: Mon, 10 Oct 2022 18:35:30 +0200
Organization: A noiseless patient Spider
Message-ID: <ti1hki$rii9$1@dont-email.me>
References: <b752f3d4-ecff-4ec6-b39d-439571ceaec8n@googlegroups.com>
 <th98ui$1atuq$1@dont-email.me> <th9h7l$1bltq$1@dont-email.me>
 <86a665htb0.fsf@stephe-leake.org> <thv87e$f6s8$1@dont-email.me>
 <lyh70cm6zz.fsf@pushface.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 10 Oct 2022 16:35:30 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="aa7118bfbbbecd68cb1b6f4611157287";
	logging-data="903753"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX186HuEixxP4n1g+rsMktFjjj0uF2ZNQEiQ="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.2.2
Cancel-Lock: sha1:TXAqSQbuVfMKFTmLiCohtGI+AAM=
Content-Language: en-US
In-Reply-To: <lyh70cm6zz.fsf@pushface.org>
Xref: reader01.eternal-september.org comp.lang.ada:64483
List-Id: <comp.lang.ada>

On 2022-10-10 10:13, Simon Wright wrote:
> "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:
> 
>> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-13-11.html#I5208).
> 
> I think you meant ARM 13.11(18/4),
> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-13-11.html#p18
> (note simpler way of referencing a para in a link, works for rm12 or
> later).

I used the link from the index.

>     declare
>        type T_P is access T with Storage_Size => 1024;
>        P : T_P;
>     begin
>        P := new T;
>     end;
> 
> would you expect P to be deallocated as the block is left? because it
> isn't with GCC 12.1.0, x86_64-apple-darwin.

Technically, it says the storage for the implementation-defined storage pool 
associated with T_P is reclaimed, not that anything is deallocated. Still, 
sounds like a compiler error.

-- 
Jeff Carter
"Help! Help! I'm being repressed!"
Monty Python & the Holy Grail
67