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