Re: Unchecked_Deallocation with tagged types

["J-P. Rosen" <rosen@adalog.fr>]

Le 18/04/2021 à 17:23, Gautier write-only address a écrit :
> 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.
> 
Well, P'Free can also be in another package... Of course, we are talking 
here only about the direct, actual deallocation.

If you want to precisely know where deallocation is used, use AdaControl 
(for any solution). If you want to be confident that there is no direct 
deallocation in a module, the generic wins.

And after all, the attribute only saves you one line of code... (OK, two 
if you count the "with" ;-) )

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr