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