I don't see the name "thaumasiotes" at that link, nor do I see anything relevant to the code in the title.
The behavior of "int a = 5; a = a++ + ++a;" is undefined. There is no guarantee of a numeric result, because there is no guarantee of anything.
It's only the order of evaluation that is undefined.
I believe they were referring to thaumasiotes's thread here: https://news.ycombinator.com/item?id=48141294
I think the objection thaumasiotes has raised there is valid and I have made an attempt to answer it as well in the same thread.