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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,23ade4b42d9cb5f0 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-21 05:38:59 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!freenix!enst.fr!not-for-mail From: "Grein, Christoph" Newsgroups: comp.lang.ada Subject: Re: Eliminating copying in Gnat Date: Tue, 21 Jan 2003 14:31:02 +0100 (MET) Organization: ENST, France Message-ID: Reply-To: "Grein, Christoph" , "comp.lang.ada mail to news gateway" NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii X-Trace: avanie.enst.fr 1043156338 72848 137.194.161.2 (21 Jan 2003 13:38:58 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Tue, 21 Jan 2003 13:38:58 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: X-Authentication-Warning: mail.eurocopter.com: uucp set sender to using -f Content-MD5: VdFGwtYGFbXLz/UYbSyj1w== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:33289 Date: 2003-01-21T14:31:02+01:00 > Victor Porton wrote: > : But Adjust is called 3 times :-( > > Are compilers allowed to optimize away an Adjust? > Might Adjust not have side effects? Read RM 7.6. There is a detailed description of the model how functions deal with their intermediate objects. Optimizations are allowed so that the number of calls of Adjust may vary. Gnat has three calls, Rational Apex two in this case.