Rewriting addition as a unary expression

Question

I came across the following statement:

A smart compiler can recognize that x = x + 1 can be treated the same as ++x.