>>931
その例では副作用完了点だけ理解すれは、
> a += a++ + 1
これは、規格的には未定義とわかる

その処理系では
a++ + 1 後置++ なので値は2
a += 2 後置++の結果 2 + 2で4
と処理されただけ