c语言中常量区的问题

在群里有人问了这么个问题，下面这段程序运行会报错

int main(){
  int *p1="abc",*p2="ABC",p3[8]="XYZ";
  strcpy(p3+2,strcat(p1,p2));
  printf("%s
",p3);
}

看了一眼没发现问题，自己运行了下，果然报错，明显是那种指针类型的错误

简单调试了下发现问题出在strcat这里，难道是函数使用不对？？确认下没有问题

群里有人提示说可能是字符常量的问题，马上意识到应该就是这问题了，想起曾经琢磨过的内存分配的问题，这种指针是仅仅指针在栈上，而数组则是指向的内容也在栈上，首先把p1和p2换成数组int pi[],p2[]运行没有错误，看来基本是这问题了

尝试执行int *p1="abc";p1[2]='d';也会报错证明p1指向的内容是不可修改的，即在常量区，问题搞定