From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Unchecked_Deallocation with tagged types
Date: Tue, 20 Apr 2021 13:53:29 -0500 [thread overview]
Message-ID: <s5n7va$c83$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 3d6e49b6-f195-4dc2-bf4b-795f18f2da9dn@googlegroups.com
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1382 bytes --]
Only if you enforced a Restriction (No_Unchecked_Deallocation_Instances)!
Otherwise, you have two mechanisms to do the same thing, which is even less
easy to track. And of course, you couldn't usefully do that in existing Ada
code (of which there is a lot).
'Free makes more sense in a new language (an Ada follow-on). OTOH, an Ada
follow-on would most likely have access types with automatic deallocation as
proposed by Tucker in one of the many AIs on ownership. So using any form of
explicit deallocation would be discouraged (as would the use of raw pointer
types).
Randy.
"Gautier write-only address" <gautier_niouzes@hotmail.com> wrote in message
news:3d6e49b6-f195-4dc2-bf4b-795f18f2da9dn@googlegroups.com...
Le dimanche 18 avril 2021 à 17:14:13 UTC+2, J-P. Rosen a écrit :
> I meant it the other way round: if the module has no "with
> unchecked_deallocation", you know it does not deallocate anything,
> without looking at the entire body.
Not at all: the instantiation can be defined of in another package - and it
is often the case - with any name (Free, Dispose, ...).
So actually with the present way it is difficult to track where unchecked
deallocation is used, plus it is tedious for the programmers.
The P'Free atttribute or the "unchecked_free P;" statement would be
straightforward to track.
next prev parent reply other threads:[~2021-04-20 18:53 UTC|newest]
Thread overview: 56+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-04-17 21:45 Unchecked_Deallocation with tagged types DrPi
2021-04-17 22:29 ` Rod Kay
2021-04-17 22:36 ` Rod Kay
2021-04-18 9:06 ` DrPi
2021-04-18 9:07 ` Jeffrey R. Carter
2021-04-18 8:21 ` Dmitry A. Kazakov
2021-04-18 8:46 ` Gautier write-only address
2021-04-18 9:09 ` Jeffrey R. Carter
2021-04-18 10:13 ` Dmitry A. Kazakov
2022-04-16 3:44 ` Thomas
2022-04-16 8:09 ` Dmitry A. Kazakov
2021-04-18 10:20 ` J-P. Rosen
2021-04-18 10:34 ` Dmitry A. Kazakov
2021-04-18 15:14 ` J-P. Rosen
2021-04-18 15:23 ` Gautier write-only address
2021-04-18 15:53 ` J-P. Rosen
2021-04-18 16:08 ` Gautier write-only address
2022-04-16 5:00 ` Thomas
2021-04-20 18:53 ` Randy Brukardt [this message]
2021-04-20 19:35 ` Dmitry A. Kazakov
2022-04-18 5:51 ` Thomas
2022-04-18 6:26 ` Niklas Holsti
2021-04-20 20:32 ` Jeffrey R. Carter
2021-04-20 21:10 ` Niklas Holsti
2021-04-21 8:35 ` Jeffrey R. Carter
2021-04-21 10:11 ` Dmitry A. Kazakov
2021-04-24 0:49 ` Randy Brukardt
2022-04-18 1:51 ` Thomas
2021-04-18 16:08 ` Jeffrey R. Carter
2021-04-18 9:13 ` DrPi
2021-04-18 10:01 ` Dmitry A. Kazakov
2021-04-18 10:42 ` DrPi
2021-04-18 16:48 ` Jeffrey R. Carter
2021-04-20 15:57 ` Stephen Leake
2021-04-20 17:24 ` Jeffrey R. Carter
2021-04-20 17:34 ` Vincent Marciante
2021-04-20 20:56 ` Jeffrey R. Carter
2021-04-21 10:21 ` Vincent Marciante
2021-04-21 10:28 ` Vincent Marciante
2021-04-21 12:13 ` Simon Wright
2021-04-21 13:28 ` J-P. Rosen
2021-04-22 10:21 ` Vincent Marciante
2021-04-21 13:42 ` Jeffrey R. Carter
2021-04-24 1:04 ` Randy Brukardt
2022-04-12 23:25 ` use clauses Thomas
2022-04-13 1:05 ` Randy Brukardt
2022-04-14 2:51 ` 25.BX944
2022-04-14 6:49 ` Emmanuel Briot
2022-04-15 5:33 ` Doctor Who
2022-04-19 3:53 ` Thomas
2022-04-19 5:59 ` Randy Brukardt
2021-04-22 8:55 ` Unchecked_Deallocation with tagged types Stephen Leake
2021-04-22 11:16 ` Jeffrey R. Carter
2021-04-22 15:49 ` Vincent Marciante
-- strict thread matches above, loose matches on Subject: below --
1996-11-22 0:00 Paul Burnim
1996-11-23 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox