void b_main_sink(FILE * data_array[]);void _main(){FILE * data;FILE * data_array[5];data=NULL;data=freopen("BadSource_freopen.txt","w+",stdin);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(FILE * data_array[]){FILE * data=data_array[2];if (data!=NULL){CloseHandle((HANDLE)data);}}
void b_main_sink(FILE * data_array[]);static void main(){FILE * data;FILE * data_array[5];data=NULL;data=freopen("BadSource_freopen.txt","w+",stdin);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(FILE * data_array[]){FILE * data=data_array[2];if (data!=NULL){fclose(data);}}