The statement is valid C#, which has left-to-right execution order and no undefined behavior. The answer is 5 + 7 = 12.
Awk also says it's 12.
awk 'BEGIN{a=5; a = a++ + ++a; print a}' 12
alt Hacker News
Awk also says it's 12.