关于C语言中a=a++与a=++a的研究

今天逛论坛，发现有朋友对a++与++a的结果有争议，由于自己也不清楚，就决定反汇编一下，看看是什么原因，过程如下：

问题：
int a=3;
a=a++;
输出结果a=3


研究过程：
自己写了下源码：
 

反汇编（为了能看明白，我加了些注释，并划分了五个区域）：
 

从第二个区域可以看出，其实a已经从3变为了4，只不过，还没有使用，就已经被原来的值覆盖了

INC     DWORD PTR [EAX]                 ;变量a = a + 1
MOV     DWORD PTR [EBP-4], EDX          ;将EDX的值(EDX=3)放入变量a的地址

那么到底是为什么，我决定做一下实验，首先想到了会不会是a=a++;与a=++a;不同导致的。
为了对照一下"a=a++" 与 "a=++a"区别在哪里，我重新修改了一下代码：
 

可以看出代码【3】与这一段的区别：
b=a++;的执行如下：
1.取出a的值，放在一个临时变量里(int temp = a;)
2.a自增(a = a + 1;)
3.将临时变量的值，传给b(b = temp;)

而b=++a;的执行如下：
1.a自增(a = a + 1;)
2.将a的值，传给b(b = a;)

那么，对照以上两点，再来看a = a++，由于是后置的自增，应该参照第一个方式：
猜测：
1.取出a的值，放入临时变量(temp = a;)
2.a自增(a = a + 1;)
3.将临时变量的值，传给a(a = temp;)

实际（代码段【2】，就不贴了）

猜测 == 事实
研究结束。