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-02-25 08:57:36 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-01!sn-xit-08!supernews.com!news.tele.dk!news.tele.dk!small.news.tele.dk!news-out.visi.com!petbe.visi.com!news.octanews.net!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Wed, 25 Feb 2004 11:56:46 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla Thunderbird 0.5 (Windows/20040207)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: In-Out Parameters for functions
References: <1075987360.225622@master.nyc.kbcfp.com> <40236C0B.E988E003@0.0>
 <xay_b.429$ax2.177@nwrdny03.gnilink.net>
 <pan.2004.02.24.01.44.30.311621@email.ro>
 <1077634311.254581@master.nyc.kbcfp.com>
 <pan.2004.02.24.23.23.33.578111@email.ro>
 <mailman.20.1077669870.327.comp.lang.ada@ada-france.org>
 <pan.2004.02.25.09.01.17.858502@email.ro>
 <1077718871.47635@master.nyc.kbcfp.com>
 <54cp3095jmv8s17h63d4bjdus0tec7l7pt@jellix.jlfencey.com>
 <1077721343.481619@master.nyc.kbcfp.com>
 <ljgp301lgj3r0totpo3hlkmt3dbnbe0i33@jellix.jlfencey.com>
 <1077724400.221032@master.nyc.kbcfp.com>
 <slrnc3pjmj.l1h.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no>
In-Reply-To: 
 <slrnc3pjmj.l1h.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1077728214.676718@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1077728214  6522 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:5805
Date: 2004-02-25T11:56:46-05:00
List-Id: <comp.lang.ada>

Preben Randhol wrote:
> if sqrt(x) > 5.0 and then b then
> 
> is the same as
> 
> if sqrt(x) > 5.0 then
>    if b then

Yes, so? As I said, if the compiler knows that sqrt(x)
is free of side effects, it can go ahead and evaluate
b first and never call sqrt(x) if b is false.
That's true in both forms above. It doesn't matter how
you write it. If sqrt(x) is free of side effects, you
cannot know whether it has been called, as far as the
language definition is concerned.