10.2.3.4 Logical Operators

Except when they appear in the condition operand of a COND_EXPR, logical `and' and `or' operators are simplified as follows: a = b && c becomes

       T1 = (bool)b;
       if (T1)
         T1 = (bool)c;
       a = T1;

Note that T1 in this example cannot be an expression temporary, because it has two different assignments.