On 08/12/16 15:09, Andrew Makhorin wrote: > If this proposal will be accepted, will it make expressions like > (i += 1) - (i += 2) to have well-specified behavior? If so, can the new > standard invalidate some existing compilers? Yes, and yes. This proposal has been on the table for some time, with little enthusiasm I've seen. In particular it restricts some opportunities for optimization. Andrew.