Precalculation of parameters (was: Software landmines)

[dennison@telepath.com]

In article <Eyz7Co.J4t.0.-s@inmet.camb.inmet.com>,
  stt@houdini.camb.inmet.com (Tucker Taft) wrote:

> By the way, the original point that a "smart" compiler can parallelize:
>
>    Op(Get_A(..), Get_B(..), Get_C(..))
>
> more easily than the "sequential" form involving named constants is a
> bit bogus.  To parallelize, the compiler needs to prove that Get_A,
> Get_B, and Get_C don't interfere with one another.  Given that, there
> is no reason that the "sequential" form couldn't be parallelized as well.

But if the language specifically states that the order of evaluation of
parameters is undefined, then it doesn't have to prove they don't interfere.
It can just assume they shouldn't. I don't know if that's the way Ada is
defined, but I believe that was the claim that was being made.

Is that actually the rule?

--
T.E.D.

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp   Create Your Own Free Member Forum