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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,169e98abc3044764
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-01 16:07:19 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!not-for-mail
Sender: mheaney@MHEANEYX200
Newsgroups: comp.lang.ada
Subject: Re: Question on controlled types
References: <3f7b24f4$0$28894$626a54ce@news.free.fr>
From: Matthew Heaney <matthewjheaney@earthlink.net>
Message-ID: <u8yo4imig.fsf@earthlink.net>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 01 Oct 2003 23:07:18 GMT
NNTP-Posting-Host: 65.110.133.134
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread2.news.atl.earthlink.net 1065049638 65.110.133.134 (Wed,
 01 Oct 2003 16:07:18 PDT)
NNTP-Posting-Date: Wed, 01 Oct 2003 16:07:18 PDT
Organization: EarthLink Inc. -- http://www.EarthLink.net
Xref: archiver1.google.com comp.lang.ada:87
Date: 2003-10-01T23:07:18+00:00
List-Id: <comp.lang.ada>

"Alex Xela" <xela2@free.fr> writes:

> On the following code, what should happen during J variable elaboration?
> 
>  - Nothing
> 
>  - A call to Adjust.
> 
> I tried to find the answer in RM95 but in vain.
> 
> My tests on several compilers (and my feeling) were suggesting  : nothing!

Aggregate assignment is handled specially.  For a controlled type, it
means the object must be built in place.

Clearly, no controlled operations can be called, because they haven't
been elaboratated yet.  Hence the special rule for aggregate assignment.