数组越界导致死循环

今天看了一下关于数组的东西，对于数组越界为什么会死循环有点不明白，于是在网上找了一下相关解答，数组下标越界导致死循环，主要是由于编译器地址空间分配的缘故。
在内存中地址分配如下：
高地址 | i | a[4] | a[3] | a[2] | a[1] | a[0] | 低地址
数组地址逐渐增加，越界刚好更改了i的值。
虽然有些编译器做了优化，使数组和i之间留有内存间隙，但是，如果i越界严重，比如不小心给了50，还是会导致死循环
下面是死循环样例：

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

    return 0;
}