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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Finalization of library level tasks Date: Sun, 15 Apr 2018 17:53:49 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <702e2422-a93f-4200-9749-5122c3d0f899@googlegroups.com> NNTP-Posting-Host: kQkuQcRDy1QFvWpyB1foYw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:51521 Date: 2018-04-15T17:53:49+02:00 List-Id: On 2018-04-15 17:46, AdaMagica wrote: > Am Sonntag, 15. April 2018 17:15:22 UTC+2 schrieb Dmitry A. Kazakov: >> e.g. fooling the accessibility rules of the access type, some sort of >> Unchecked_Allocation. Ada 83 had pragma Controlled to require the >> compiler to keep its hands off, alas, it was removed. > > This pragma was never implemented by any compiler (because there never was a garbage collector implemented and the pragma was intended to tell the GC to keep its hand off). It would be perfectly suitable for the purpose of explicitly forbidding any internal bookkeeping. I hoped that pragma Convention (C, Pointer) would have same effect, but it does not. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de