Re: Order of argument evaluation in C++, etc.

Concerning order-of-evaluation issues,
this is one of the issues discussed in the documents from the
Ada "Language Precision Team", in the first report if I remember
correctly.


One of the things that was done for Ada 95 was to _loosen up_ the order
of evaluation requirements in response to strong pressure. One of the
issues was that Ada previously had requirements on just where exceptions
had to be signalled that were strong enough to interfere with optimisation
but not quite as strong as some people in this discussion would like.
The LPT report identifies several levels of control over evaluation order,
and as I said the Ada 95 standard gives a lot more freedom to implementors
so that they can cope with out-of-order or imprecise exceptions.


Since C++ has exception handling, this is or will be an issue for C++ too.


The relevant reports are freely available over the net.
--
Richard A. O'Keefe; http://www.cs.rmit.edu.au/~ok; RMIT Comp.Sci.
--

Return to the comp.compilers page.
Search the comp.compilers archives again.