From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Unchecked_Deallocation with tagged types Date: Sun, 18 Apr 2021 17:14:12 +0200 Organization: Adalog Message-ID: References: <607b56f8$0$3721$426a34cc@news.free.fr> <07863309-4541-4497-8cec-d88179e634bdn@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 18 Apr 2021 15:14:11 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="f0f9e4c3d5298889098215edf4b3a449"; logging-data="23883"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+4LbSx1bML3m0dmowsUGZi" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.9.1 Cancel-Lock: sha1:9SZJRC7DDvv1aWAP02e3XOr38QM= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:61823 List-Id: Le 18/04/2021 à 12:34, Dmitry A. Kazakov a écrit : >> Ada (or more precisely Ichbiah) chose to deallocate through an >> instantiation of a generic for good reason. Deallocation is a place >> where many problems can come from, it is important to be able to trace >> where they are. The current solution forces you to put "with >> Unchecked_Deallocation" on top of every module that deallocates, >> therefore telling the reader that there is some danger in it, and >> making it easier to find where all the deallocations happen. > > No, that does not work. If we supposed to search for all calls to > deallocate, then attribute 'Free is much easier to look after than first > looking for "with Unchecked_Deallocation", then for an instantiation of > it with the types in question and then for the name of the instance. 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. -- 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