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