Re: Benefit of not defining the order of execution

cri@xxxxxxxx (Richard Harter) writes:

On Wed, 18 Feb 2009 06:36:54 +0000, Flash Gordon
<smap@xxxxxxxxxxxxxxxxx> wrote:
Sine different people assume different orders (and some know the order
is unspecified as far as the language is concerned) forcing a specific
order on compilers will certainly still leave people getting it wrong
*and* will make some implementations less efficient. Seems like a
loose-loose option to me.

I disagree; it's not a lose-lose option. However the issue of
peoples assumptions being satisfied or not satisfied is not
particularly important. What is important, IMNSHO, is that
outputs of working conforming programs can vary depending on
evaluation order choices by compilers.

But that's just the point: programs that depend on the evaluation order
are NOT conforming.

(Think regression tests
on log files.)

Huh?
.

Relevant Pages

  • Re: Benefit of not defining the order of execution
    ... is unspecified as far as the language is concerned) forcing a specific ... loose-loose option to me. ... evaluation order choices by compilers. ... programs that depend on the evaluation order ...
    (comp.lang.c)
  • Re: behavior-preserving optimization in C, was compiler bugs
    ... programs for their compilers rely on the order, ... different implementations do it differently. ... evaluation order, run just fine if the evaluation order is changed. ... But - I think you are wrong about what an optimizer is for. ...
    (comp.compilers)
  • Re: Benefit of not defining the order of execution
    ... outputs of working conforming programs can vary depending on ... evaluation order choices by compilers. ... programs that depend on the evaluation order ... the contents of the log can vary depending on the evaluation order, ...
    (comp.lang.c)
  • Re: Benefit of not defining the order of execution
    ... loose-loose option to me. ... I disagree; ... evaluation order choices by compilers. ...
    (comp.lang.c)
  • Re: Announcing a new release of Lisp1 #2
    ... On Wed, 30 Jan 2008, Blake McBride wrote: ... I would further add that Scheme should define argument evaluation order. ... Compilers can be written to support a particular order just as well as ...
    (comp.lang.lisp)