void b_main_sink();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);_main_data_for_main_sink=data;b_main_sink();}void b_main_sink(){HANDLE data=_main_data_for_main_sink;if (data!=INVALID_HANDLE_VALUE){fclose((FILE *)data);}}
void b_main_sink();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);_bad_data_for_good_sink=data;b_main_sink();}void b_main_sink(){HANDLE data=_bad_data_for_good_sink;if (data!=INVALID_HANDLE_VALUE){CloseHandle(data);}}