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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:ac8:5513:: with SMTP id
 j19mr40228584qtq.143.1582421017354; Sat, 22 Feb 2020 17:23:37 -0800 (PST)
X-Received: by 2002:a9d:7ccc:: with SMTP id r12mr36180235otn.22.1582421017020;
 Sat, 22 Feb 2020 17:23:37 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!feeder1.feed.usenet.farm!feed.usenet.farm!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 22 Feb 2020 17:23:36 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=137.103.119.68;
 posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy
NNTP-Posting-Host: 137.103.119.68
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7c74a973-e278-427c-bbda-f4c1ebf8fdef@googlegroups.com>
Subject: assignment aggregates in controlled types
From: sbelmont700@gmail.com
Injection-Date: Sun, 23 Feb 2020 01:23:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:58122
Date: 2020-02-22T17:23:36-08:00
List-Id: <comp.lang.ada>

hi,

Does anyone know what, if anything, the language say about the use of assig=
nment aggregates during adjust/finalize procedures?  If you do something li=
ke this:

procedure Finalize (Object : in out T) is
begin
  Object :=3D (x =3D> 0);
end;

does not that create a temporary object on the RHS that is assigned (and ad=
justed) into the LHS, and then the RHS itself finalized by calling Finalize=
, and then it's finalization procedures all the way down?  For types that a=
re not required to build-in-place, it's unspecified whether it is (right?),=
 so presumably that's a valid behavior?  Is such behavior prohibited, expec=
ted, undefined, implementation-defined, or even mentioned in the LRM at all=
?

-sb

PS - no amount of spamming by the crazies will make this newsgroup any less=
 valuable, please don't let it discourage anyone from participating.