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