From: Simon Wright <simon@pushface.org>
Subject: Re: Freeing access-to-task objects
Date: Mon, 10 Oct 2022 09:13:04 +0100 [thread overview]
Message-ID: <lyh70cm6zz.fsf@pushface.org> (raw)
In-Reply-To: thv87e$f6s8$1@dont-email.me
"Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:
> This is only required if the access type has Storage_Size specified
> (ARM 13.11/18.4
> 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).
Given this,
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.
next prev parent reply other threads:[~2022-10-10 8:13 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-09-30 10:16 Freeing access-to-task objects Emmanuel Briot
2022-10-01 11:40 ` J-P. Rosen
2022-10-01 11:58 ` Dmitry A. Kazakov
2022-10-01 21:26 ` Björn Lundin
2022-10-01 14:01 ` Jeffrey R.Carter
2022-10-01 14:45 ` Emmanuel Briot
2022-10-09 16:10 ` Stephen Leake
2022-10-09 19:42 ` Jeffrey R.Carter
2022-10-10 8:13 ` Simon Wright [this message]
2022-10-10 16:35 ` Jeffrey R.Carter
2022-10-10 20:23 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox