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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-03-01 19:05:48 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!cyclone.bc.net!sjc70.webusenet.com!news.usenetserver.com!border1.nntp.sjc.giganews.com!nntp.giganews.com!local1.nntp.sjc.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Mon, 01 Mar 2004 21:05:46 -0600 Date: Mon, 01 Mar 2004 22:05:45 -0500 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: In-Out Parameters for functions References: <4020C947.81A6D703@0.0> <1075907239.138068@master.nyc.kbcfp.com> <402232E9.3EE15B4B@0.0> <1075987360.225622@master.nyc.kbcfp.com> <40236C0B.E988E003@0.0> <1077634311.254581@master.nyc.kbcfp.com> <1077718871.47635@master.nyc.kbcfp.com> <54cp3095jmv8s17h63d4bjdus0tec7l7pt@jellix.jlfencey.com> <1077721343.481619@master.nyc.kbcfp.com> <1077727853.904323@master.nyc.kbcfp.com> <1077810250.28474@master.nyc.kbcfp.com> <1078162736.111267@master.nyc.kbcfp.com> In-Reply-To: <1078162736.111267@master.nyc.kbcfp.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.77.160 X-Trace: sv3-ZZiv6M28njav0Za7/H+/Vex0gq/1dlSuNDd1L5DpoeVl/1Jr8FeTZt6RPVDIe1NtlDEM70a831acvR7!lJ5vZgmRw1ot1uMq2mooVefoL+W++HI5Yl2LA/xkAvJbp69wdLyPOze02FB80A== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.lang.ada:6000 Date: 2004-03-01T22:05:45-05:00 List-Id: Hyman Rosen wrote: > Pragma Inline is not exactly "applied". It is a hint to the compiler > that it would be advantageous for certain code to be expanded inline > as opposed to being called through the "normal" subprogram mechanism. > It does not have any effect on the meaning of Ada code which uses such > a subprogram, and therefore would not have any meaning when considering > l-to-r behavior. There you go again. What you say seems to make sense, but it is not correct. To quote from 11.6(6): "An independent subprogram is one that is defined outside the library unit containing the construct whose check failed, and has no Inline pragma applied to it." So although whether the compiler does follow the advice of a pragma Inline, it has semantic effects. Those effects happen to be important in this particular case. The appearance of an independent subprogram prevents the compiler from doing some reorderings. Put in the pragma Inline, and the code might not be inlined by the compiler, but the compiler could move other code from before to after it or vice-versa. -- Robert I. Eachus "The only thing necessary for the triumph of evil is for good men to do nothing." --Edmund Burke