Re: A case where Ada defaults to unsafe?

[Hyman Rosen <hyrosen@mail.com>]

FGD wrote:

> Any way you look at it, better performance is obtained when 
> short-circuit and is used only when absolutely necessary. It's only 
> natural for Ada to "default" to the commutative and.


What many of you seem to forget is that the commutative form requires
that both operands are evaluated. Of course the compiler can elide by
the as-if rule, but not if there is a chance of overflow:

	if a + b > 3 and	x + y < 4	-- case 1
	if a + b > 3 and then	x + y < 4	-- case 2

In the first case, if there is a chance that evaluating x + y could
lead to overflow, the compiler cannot forgo the evaluation even in
the case of a + b <= 3, becuase the exception must be generated. So
we are not making a simple trade-off between letting the programmer
or the compiler choose the order.