Re: Right of Optimize Eager Evaluation Away

[Robert A Duff <bobduff@world.std.com>]

Laurent Guerby <guerby@acm.org> writes:

> The question is: is a smart Ada 95 compiler allowed to generate code
> that looks like this:
> 
>    if C then
>       X := Super_Expensive_Function_Call_1;
>    else
>       X := Super_Expensive_Function_Call_2;
>    end if;
> 
> that is to say, be lazy about its argument, and so might
> save execution time.

No.  The function arguments may be evaluated in either order, so in case
of exception, the other one might not happen.  But without exceptions,
both arguments will be evaluated.

- Bob