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