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