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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5dacec64c8c879fa
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.231.202 with SMTP id ti10mr2615776pbc.5.1328836384110;
        Thu, 09 Feb 2012 17:13:04 -0800 (PST)
MIME-Version: 1.0
Path: 
 wr5ni6834pbc.0!nntp.google.com!news2.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Preventing Unchecked_Deallocation?
Date: Thu, 9 Feb 2012 19:12:56 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jh1qut$gme$1@munin.nbi.dk>
References: 
 <33a35da4-6c3e-4ab4-b58f-a9d73565d79a@t30g2000vbx.googlegroups.com>
 <ad427e2f-efdb-4e34-b4cf-ee55a3f8e9f5@f14g2000yqe.googlegroups.com>
 <f4c34323-d0d8-4315-aaaa-31c0119e2ba4@n6g2000vbz.googlegroups.com>
 <jgqg6s$oaj$1@adenine.netfront.net>
 <ca07bff2-cb4f-4cd4-a191-249cb229840b@c20g2000vbb.googlegroups.com>
 <jgvcm4$1o1$1@munin.nbi.dk> <4F337215.3050802@obry.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1328836382 17102 69.95.181.76 (10 Feb 2012 01:13:02 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 10 Feb 2012 01:13:02 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-02-09T19:12:56-06:00
List-Id: <comp.lang.ada>

"Pascal Obry" <pascal@obry.net> wrote in message 
news:4F337215.3050802@obry.net...
> Randy,
>
>> My personal theory is the only reason for an Ada 95 program to use 
>> "access"
>> in a specification is to get the effect of "in out" parameters for
>> functions, and that's finally fixed for Ada 2012. I don't think there 
>> *ever*
>
> You also need access type for the Distributed Annex. And this is still
> needed with Ada 2012 and will probably forever.

Yes and no: you can't alway marshall an access value, and it actually makes 
more sense to marshall the designated object. (But I admit I don't have any 
experience in this area - I've always used sockets - so I'll stop before I 
dig a deeper hole. ;-)

> But we also want to
> distinguish between access type and dynamic allocation. My distributed
> application have access types but no dynamic allocation.

Right, and that's why I said that general access types shouldn't have had 
any allocation at all. It would have been easy enough to do conversions in 
the case that it was needed, and it would prevent the erroneous execution 
problems with deallocation of a general access value. (It only works if it 
is from the "right" pool, and there is no way to guarantee that if 
statically allocated objects also can be used.)

                                     Randy.