数组越界导致死循环

昨晚，公司里小组交流，谈到一个问题：

一个变量作为函数参数按值传入，但是函数调用完之后，变量的值竟然改变了，不知所以然。原来是函数里面有个地址越界问题，导致变量的值被改变了，有点不可思议吧！比如，下面这个程序，就由于数组下标越界导致死循环：

int main()
{
    int i;
    int a[5];
   
    for(i = 0; i <= 5; i++) {
        a[i] = 0;
    }

    return 0;
}

本来一个简单的数组下标越界导致死循环，主要是由于编译器地址空间分配的缘故。
在内存中地址分配如下：

高地址 | i | a[4] | a[3] | a[2] | a[1] | a[0] | 低地址

数组地址逐渐增加，越界刚好更改了i的值。
虽然有些编译器做了优化，使数组和i之间留有内存间隙，但是，如果i越界严重，比如不小心给了50，还是会导致死循环。


以上在gcc（优化了的），vc中测试过了。。。