void _main(){FILE * data;FILE * *data_ptr1=&data;FILE * *data_ptr2=&data;data=NULL;{FILE * data=*data_ptr1;data=freopen("BadSource_freopen.txt","w+",stdin);}{FILE * data=*data_ptr2;}}
static void main(){FILE * data;FILE * *data_ptr1=&data;FILE * *data_ptr2=&data;data=NULL;{FILE * data=*data_ptr1;data=freopen("BadSource_freopen.txt","w+",stdin);}{FILE * data=*data_ptr2;if (data!=NULL){fclose(data);}}}