C指针的小细节

先看一段代码：

struct S {
     int i;
     int * p;
};
void main()
{
     S s;
     int * p = &s.i;
     p[0] = 4;
     p[1] = 3;
     s.p = p;
     s.p[1] = 1;
     s.p[0] = 2;
}

程序会在哪一行死掉

这是今天做的一个笔试题目，C的指针随意乱指，实在是混乱。
代码来看，在p[1]=3；这个语句上就有点不知所云了。

经过追踪调试，可是发现代码是死在了s.p[0] = 2; 这一句上。
接下来详细说一下程序每一步的执行：
int *p = &s.i;  //指针p指向结构体s内部的变量i
p[0] = 4;       //i的值变为4
p[1] = 3;       //p[1]指向的其实是结构体s内部的指针p，这个语句使得结构体内部指针p指向内存0x3单元
s.p = p;        //结构体内部指针p指向变量i
s.p[1] = 1;     //这个地方实际上是改变的s.p,使s.p指向了地址为0x1的内存单元。
在调试的时候发现是这个样子的情况，但是没明白为什么改变的是s.p
s.p[0] =2;      //s.p[1]指向0x1，s.p[0]自然没法子再向前寻址了，程序就在这儿死掉了