6.5.14 Logical OR operator

logical-OR-expression:
                logical-AND-expression
                logical-OR-expression || logical-AND-expression

1257 Each of the operands shall have scalar type.

1258 The || operator shall yield 1 if either of its operands compare unequal to 0;

1259 otherwise, it yields 0.

1260 The result has type int.

1261 Unlike the bitwise | operator, the || operator guarantees left-to-right evaluation;

1262 there is a sequence point after the evaluation of the first operand.

1263 If the first operand compares unequal to 0, the second operand is not evaluated.