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