void b_main_sink(void * void_data_ptr);void _main(){HANDLE data;data=CreateFile("BadSource_w32CreateFile.txt", (GENERIC_WRITE|GENERIC_READ), 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);CloseHandle(data);b_main_sink(&data);}void b_main_sink(void * void_data_ptr){HANDLE * data_ptr=(HANDLE *)void_data_ptr;HANDLE data=(*data_ptr);CloseHandle(data);}
static void main(){HANDLE data;data=CreateFile("GoodSource_w32CreateFile.txt", (GENERIC_WRITE|GENERIC_READ), 0, NULL, OPEN_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);b_main_sink(&data);}void b_main_sink(void * void_data_ptr){HANDLE * data_ptr=(HANDLE *)void_data_ptr;HANDLE data=(*data_ptr);CloseHandle(data);}