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