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