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