comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Parameter evaluation order
Date: 1998/04/11
Date: 1998-04-11T00:00:00+00:00	[thread overview]
Message-ID: <dewar.892345583@merv> (raw)
In-Reply-To: x7v67kh8uk3.fsf@pogner.demon.co.uk


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.





  reply	other threads:[~1998-04-11  0:00 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-04-05  0:00 Parameter evaluation order Mark.Rutten
1998-04-05  0:00 ` Matthew Heaney
1998-04-07  0:00   ` Don Harrison
1998-04-09  0:00   ` Simon Wright
1998-04-10  0:00     ` Matthew Heaney
1998-04-10  0:00       ` Simon Wright
1998-04-11  0:00         ` Robert Dewar [this message]
1998-04-06  0:00 ` William D. Ghrist
1998-04-06  0:00 ` Corey Ashford
1998-04-08  0:00 ` Glenden Lee
1998-04-09  0:00   ` Robert Dewar
     [not found]     ` <Er5Ir9.5Ip@world.std.com>
1998-04-09  0:00       ` Peter Amey
1998-04-09  0:00       ` Tucker Taft
1998-04-16  0:00         ` Nick Roberts
1998-04-17  0:00           ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox