strcpy()函数的疑惑

#include <stdio.h>
#include <string.h>


int main()
{
    char a[]="abc";
    char b[]="abcedf";
    
    strcpy(a,b);
    
    printf("a=%s\n",a);
    printf("b=%s\n",b);
    
    return 0;
}

这些调用没问题，在bcc32中输出结果如下图所示：

在Linux下中的gcc编译器也没问题。

但是改成这样就有问题了

而Linux中gcc编译器直接不支持这样的写法。