void b_main_sink(void * void_data_ptr);void _main(){FILE * data;data=NULL;data=fopen("BadSource_fopen.txt", "w+");b_main_sink(&data);}void b_main_sink(void * void_data_ptr){FILE * * data_ptr=(FILE * *)void_data_ptr;FILE * data=(*data_ptr);}
void b_main_sink(void * void_data_ptr);static void main(){FILE * data;data=NULL;data=fopen("BadSource_fopen.txt", "w+");b_main_sink(&data);}void b_main_sink(void * void_data_ptr){FILE * * data_ptr=(FILE * *)void_data_ptr;FILE * data=(*data_ptr);if (data!=NULL){fclose(data);}}