c - 定義よりも多くの入力を受け取る配列

Question

 #include <stdio.h>
 int main(void)
 {
    int n,i;
    scanf("%d",&n);
    int a[n];
    for(i=0;i<n;i++)
    {
        a[i]=i;
    printf("%d",a[i]);

    }
    for(i=0;i<n+1;i++)
    {
        a[i]=i;
        printf("%d",a[i]);

    }       
    return 0;   
 }

ここで、たとえば 5 などの入力を与えると、出力は... 01234012345 ここでの質問は、コードでエラーが発生するはずですが、それが a[5] に格納されている 5 を出力し、a[5] が宣言されていないことです。