关于strcat函数的一个有关问题

关于strcat函数的一个问题
有如下代码,执行后正常输出abcxyz但马上出现应用程序停止工作是什么问题?
求帮忙看一下,谢谢。关于strcat函数的一个有关问题
#include <stdio.h>
#include <string.h>
int main()
{
char a[4] = {"abc"};
char b[4] = {"xyz"};
printf("%s\n",strcat(a,b));
return 0;
}

------解决方案--------------------
这个是a[4]的情况,a一越界就把EBP指向的重要内容破坏了 程序就蹦了 关于strcat函数的一个有关问题