void b_main_sink(int * data_ptr);void _main(){int data;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);CLOSE(data);b_main_sink(&data);}void b_main_sink(int * data_ptr){int data=*data_ptr;CLOSE(data);}
static void main(){int data;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);CLOSE(data);b_main_sink(&data);}void b_main_sink(int * data_ptr){int data=*data_ptr;}