Re: GNAT 4.4.5 order of conditional processing?

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 11/15/2011 01:30 PM, awdorrin wrote:
> Given an IF statement such as the following:
>
> if X = Y and not A and B
>
> How does GNAT handle the processing of the conditional statements?
> Will "X = Y" be processed first, and if false, will the rest be
> skipped?

The language specifies that all the conditions must be evaluated. A compiler 
that does differently isn't Ada.

To skip later conditions, use the "short-circuit" forms "and then" and "or else":

if P /= null and then P.all = Sentinel then

if P = null or else P.all = Sentinel then

Note that the short circuit forms should not be considered optimizations. With 
modern processors, unnecessary short-circuit forms may sometimes be slower than 
the regular equivalents.

-- 
Jeff Carter
"I feel as though somebody stepped on my tongue
with muddy feet."
Never Give a Sucker an Even Break
112