From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: silly ravenscar question Date: Tue, 24 Feb 2015 12:24:08 +0100 Organization: A noiseless patient Spider Message-ID: References: <8e30f54c-81c4-4861-897c-bb6c563c76e8@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit Injection-Date: Tue, 24 Feb 2015 11:23:29 +0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="23dab0694e4174fdc880833ec67fa650"; logging-data="4042"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+rjiqlpko+KCv8aFCZEjYc" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 In-Reply-To: <8e30f54c-81c4-4861-897c-bb6c563c76e8@googlegroups.com> Cancel-Lock: sha1:DwC5gQZls86I/XI4LYYxlrySCs0= Xref: news.eternal-september.org comp.lang.ada:25009 Date: 2015-02-24T12:24:08+01:00 List-Id: Le 24/02/2015 10:07, jan.de.kruyf@gmail.com a écrit : > Doing a variable length linked list on Gnat for Arm I found I can do > > object_access := new object; > > but I can not free this object. I follow that dynamic memory > allocation is something bad (tm), under certain circumstances. 1) Ravenscar is purely about multi-tasking, and says nothing about the sequential aspects of the language. Allocators (aka "new") are allowed (but may be disallowed in safety critical contexts by other rules). 2) Did you look into Ada.Unchecked_Deallocation? It is a generic that you instantiate to get the equivalent of "free". -- 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