If relying on order of evaluation should be considered an error, then we'd better replace the ++x and x++ constructions with +x+, which means increment x, and use its old or new value (a random choice).