12.3.3.22 Simple assignment expressions

12.3.3.22 Simple assignment expressions
For an expression expr of the form w = expr-rhs:
?The definite assignment state of v before expr-rhs is the same as the
definite assignment state of v
before expr.
?If w is the same variable as v, then the definite assignment state of v
after expr is definitely assigned.
Otherwise, the definite assignment state of v after expr is the same as the
definite assignment state of
v after expr-rhs.