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