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