3.9.4 Side Effects Operators

If the X1f4_E4_LEFT_XSET flag appear in the flags flags list member of struct x1f4_operator_type record defining an infix binary operator, the operator may set its first argument.

See Binary Operator Flags.

See struct x1f4_operator_type.

It is not required that the value of its first argument is the same as the evaluation value. Conversely, nor is the evaluation value required to be copied in its first argument.

The first argument of side effects operators must be an lvalue, i.e. a variable, yet not a read only one. Expressions for which the first operand of side effects operators is not an lvalue are invalid.

An operator cannot overwrite its arguments in any other conditions. The operator operands are temporary storage space and overwritting them has no effect.