数组越界导致死循环

<span style="font-family: Arial, Helvetica, sans-serif; font-size: 12px;">#include<stdio.h></span>

int main()
{
    int i;
    int a[5];
    
    for(i = 0; i <= 5; i++) {
        a[i] = 0;
        //a[i] = -i;     //主要是最后给一个比5小的值就可以了
        printf("%d  %d\n",i,a[i]);
    }

    return 0;
}

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

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

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

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


以上在gcc（优化了的），但是在有的gcc中么有优化。vc中测试过了，但是运行过程中会报错。