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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f188b1cd9c1f24dc
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Parameter evaluation order
Date: 1998/04/11
Message-ID: <dewar.892345583@merv>#1/1
X-Deja-AN: 343219817
References: <6g9d2o$tfg$1@nnrp1.dejanews.com>
 <matthew_heaney-ya023680000504982157020001@news.ni.net>
 <x7vemz7xncq.fsf@pogner.demon.co.uk>
 <matthew_heaney-ya023680001004980936440001@news.ni.net>
 <x7v67kh8uk3.fsf@pogner.demon.co.uk>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 892345869 9446 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-04-11T00:00:00+00:00
List-Id: <comp.lang.ada>


Simon says

<<Yeah, but a compiler *might* have been given permission to re-order
elaborations if it could tell that there would be no difference ..
>>


There is never any question of giving compilers permission to do things
to the code that make no difference in the behavior. There is no possible
way of "stopping" the compiler from doing X if X has no effect on the
semantic behavior of the program, because the concept of stopping the
compiler from doing X has no meaning in such a case.