16.1.14 Other Assignment Expressions

Suppose that an assignment expression a = b, a += b, a -= b, a *= b, a /= b, a %= b, a <<= b, a >>= b, a >>>= b, a &= b, a |= b, or a ^= b is not boolean-valued.

• V is definitely assigned after the assignment expression iff either a is V or V is definitely assigned after b.
• V is definitely assigned before a iff V is definitely assigned before the assignment expression.
• V is definitely assigned before b iff V is definitely assigned after a.