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