后增量运算符:意外行为[重复]

可能重复:
Could anyone explain these undefined behaviors (i = i++ + ++i , i = i++, etc…)

我的代码如下:

#include <stdio.h>
int main()
{
  int x = 10, y = 0;
  x = x++;
  printf("x: %d\n", x);
  y = x++;
  printf("y: %d\n", y);
}

考虑到后增量的性质,我希望得到以下输出:

x: 10
y: 10

我的理由是在第5行, x 应该在增量发生后分配给它的初始值。

然而,我得到的是:

x: 11
y: 11

在大会上,我认为这是一个深思熟虑的选择:

LCFI2:
        movl    $10, -4(%rbp)   // this is x
        movl    $0, -8(%rbp)    // this is y
        incl    -4(%rbp)        // x is simply incremented
        movl    -4(%rbp), %esi
        leaq    LC0(%rip), %rdi
        movl    $0, %eax
        call    _printf
        movl    -4(%rbp), %eax  // now x is saved in a register,
        movl    %eax, -8(%rbp)  // copied to y,
        incl    -4(%rbp)        // and finally incremented
        movl    -8(%rbp), %esi
        leaq    LC1(%rip), %rdi
        movl    $0, %eax
        call    _printf

这是怎么回事?海湾合作委员会是想救我脱离自己吗?我手边没有语言参考,但我认为这会破坏预期的语义。