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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,27db9c02e8783e58
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Received: by 10.224.138.146 with SMTP id a18mr239234qau.6.1343265549350;
        Wed, 25 Jul 2012 18:19:09 -0700 (PDT)
Received: by 10.66.76.38 with SMTP id h6mr1173915paw.15.1343265549201;
        Wed, 25 Jul 2012 18:19:09 -0700 (PDT)
Path: 
 a15ni101900513qag.0!nntp.google.com!q21no5102027qas.0!news-out.google.com!p10ni60183599pbh.1!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!ctu-peer!news.nctu.edu.tw!goblin2!goblin.stu.neva.ru!xlned.com!feeder1.xlned.com!newsreader4.netcologne.de!news.netcologne.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 19 Jul 2012 16:48:32 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:14.0) Gecko/20120713 Thunderbird/14.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Differences in finalization of controlled objects between gcc
 4.6 and gcc 4.7
References: <ju8u7t$kh9$1@speranza.aioe.org>
 <50080f7b$0$9525$9b4e6d93@newsspool1.arcor-online.net>
 <ju93rg$43j$1@speranza.aioe.org>
In-Reply-To: <ju93rg$43j$1@speranza.aioe.org>
Message-ID: <50081e41$0$9514$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Jul 2012 16:48:33 CEST
NNTP-Posting-Host: 6bdcddae.newsspool1.arcor-online.net
X-Trace: 
 DXC=G8l3cHfM60IAa;:RKVJ>LEic==]BZ:afN4Fo<]lROoRAnkgeX?EC@@@jD]=Ch2TYTBnc\616M64>JLh>_cHTX3jM^5f7Rf:YR4C
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
Date: 2012-07-19T16:48:33+02:00
List-Id: <comp.lang.ada>

On 19.07.12 15:59, Markus Sch�pflin wrote:
> Am 19.07.2012 15:45, schrieb Georg Bauhaus:
>> On 19.07.12 14:23, Markus Sch�pflin wrote:
>>> Is there a way to have the objects created in place directly in the array?
>>
>> Can you make the type limited?
> 
> No, I need to be able to copy them around. But IMHO that shouldn't make a
> difference in this case, the compiler should be able to figure out that it can
> construct the objects in place, shouldn't it?

Not sure, wouldn't this optimize the AFCed actions away without
the user saying so? Anyway, maybe renaming works better?

   subtype SMALL is POSITIVE range 1 .. 2;
   type A is array (SMALL) of CTRL.T;

   function MAKER return A is
   begin
      return RESULT : A;
   end MAKER;

   X : A renames MAKER;