1 /* { dg-require-effective-target alloca } */ 2 #include <string.h> 3 #include <stdio.h> 4 5 void a(void * x,int y)6 a(void *x,int y) 7 { 8 if (y != 1234) 9 abort (); 10 } 11 12 int main()13 main() 14 { 15 a(strcpy(alloca(100),"abc"),1234); 16 return 0; 17 } 18