void b_main_sink(HANDLE data_array[]);void _main(){HANDLE data;HANDLE data_array[5];data=CreateFile("BadSource_w32CreateFile.txt", (GENERIC_WRITE|GENERIC_READ), 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);CloseHandle(data);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(HANDLE data_array[]){HANDLE data=data_array[2];CloseHandle(data);}
static void main(){HANDLE data;HANDLE data_array[5];data=CreateFile("GoodSource_w32CreateFile.txt", (GENERIC_WRITE|GENERIC_READ), 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(HANDLE data_array[]){HANDLE data=data_array[2];CloseHandle(data);}