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