C语言越界访问问题

问题：

代码如下：出现访问越界，结果会是什么呢？

int main()
{
	int i = 0;
	int arr[10] = { 1,2,3,4,5,6,7,8.9,10 };
	for (i = 0; i <= 12; i++)
	{
		arr[i] = 0;
		printf("肖维鹏好帅\n");
	}
	return 0;
}

预期结果应该是：编译器提示访问越界，运行终止。

但运行结果为：
循环打印 “肖维鹏好帅”

通过调试发现：变量i的地址和arr[12]的地址相等。

即：i=12时，将arr[12]的值赋为0，而arr[12]的地址即时变量i的地址。等价于将i重新赋值为0。从而导致死循环。

原理：

i和arr都是局部变量，局部变量的值创建在栈空间上。栈空间默认先使用高地址，再使用低地址。
在程序中，先创建的i变量，然后再创建的数组变量，即i的地址比数组的地址要高。如果数组越界访问的话，有机会访问到i。
程序将i的值赋为0，从而导致了死循环。