诡异的代码之数组越界造成的死循环

先来看一段代码：

#include <stdio.h>

int main(int argc, const char *argv[])
{
    int arry[10];
    int i;
    for (i = 0; i < 15; i++) {
        arry[i] = 1;
        printf ("i is %d\n", i);
    }
    return 0;
}

代码很简单，短短几行，一览无余，很明显是数组越界，但输出的结果应该是什么样子呢？

猜想一：

            抛开数组不管，i应该是从0到15。

猜想二：

            如果考虑数组，那么i应该是0到9,也就是说"i < 15"是恒成立的，至此，造成了一个死循环。

表面来看，好像是第二种解释更为合理，但事实真的是这样吗？

运行一下：

i怎么会是0~9之间的死循环呢？继续debug:

嗯。。。现在很明显了，在当i = 10（此时数组越界）时，分配给arry[i]的内存地址不够用，怎么办？继续加内存地址，导致分配给i的地址与arry[i](其实就是arry[10]的地址重合,因此循环条件是恒成立的，导致了死循环。