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