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