GCC_JIT_BINARY_OP_LOGICAL_AND eager or lazy? and GCCJIT vs GNU C semantics....

[Basile Starynkevitch]

On 07/16/2015 12:33, Basile Starynkevitch wrote:
>
> GCC_JIT_BINARY_OP_LOGICAL_AND a lazy operation like in C, or is it 
> eager? It is documented as
>
>    Logical AND; analogous to:
>
>    (EXPR_A)  &&  (EXPR_B)
>
>    in C.
>
> So I guess that it is lazy. In other words, if EXPR_A is non-null, 
> EXPR_B is not even evaluated....

It looks to be translated with

     case GCC_JIT_BINARY_OP_LOGICAL_AND:
       node_a = as_truth_value (node_a, loc);
       node_b = as_truth_value (node_b, loc);
       inner_op = TRUTH_ANDIF_EXPR;
       break;

in file jit/jit-playback.c near line 2941 in function 
playback::context::new_binary_op

so given the name TRUTH_ANDIF_EXPR I guess that the operation 
GCC_JIT_BINARY_OP_LOGICAL_AND is indeed lazy.

Cheers.

-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***