static void main_sink(int * data){{memmove(data, src, 100*sizeof(int));printIntLine(data[0]);}}void _main(){int * data;void (*func_ptr) (int *)=main_sink;int * data_mainbuf=(int *)ALLOCA(50*sizeof(int));int * data_goodbuf=(int *)ALLOCA(100*sizeof(int));data=data_mainbuf;func_ptr(data);}
static void main_sink(int * data){{memmove(data, src, 100*sizeof(int));printIntLine(data[0]);}}static void main(){int * data;void (*func_ptr) (int *)=main_sink;int * data_badbuf=(int *)ALLOCA(50*sizeof(int));int * data_goodbuf=(int *)ALLOCA(100*sizeof(int));data=data_goodbuf;func_ptr(data);}