VC指针的一个问题

注：本人博文整理至优快云以方便查阅，源博文位于EDN

在VC工程中的main函数敲入以下代码(1)

int main(int argc, char* argv[])
{
 int i = 10;
 int *p = (int *)0x12ff7c; 
 *p = NULL;
 return 0;
}

结果为：
i = 0
p = 0x12ff7c

改代码如下(2)

int main(int argc, char* argv[])
{
 int *p = (int *)0x12ff7c;
 *p = NULL;
 return 0;
}

执行结果为

p = 0;

分析：
main函数堆栈起始地址为0x12ff7c,在(1)中，p先指向地址0x12ff7c,
此时*p = 10，即为i的值。接着*p赋空。p所指向的地址依然为0x12ff7c,
该地址所存储的值被置为0。

在(2)中执行完第一条语句的时候，p和*p值都为0x12ff7c。
疑问：声明了变量p,可知，此时分配给p的地址值为0x12ff7c,但是执行了
第一条，即p指针指向地址0x12ff7c，也就是它自己了，为何*p的值也变为
0x12ff7c了呢？解决了这个，应该就不难理解为何*p = NULL后p为0了。

再看
int main(int argc, char* argv[])
{
 int *p = (int *)0x12ff7c;
 *p = NULL;

 int *p_tmp = (int *)0x12ff78;
 *p_tmp = NULL;
 return 0;
}

运行完第三条语句后p_tmp和*p_tmp的值都为0x12ff78.

由此我们引申出，当声明一个指针指向自己所在的地址时(这样说可能不太贴切)，
地址值及该地址所存储的值都为地址值。

在<<C语言深度解剖>>中提到这是编译器的一个Bug，事实是否如此呢？