static void main_sink(int data){}void _main(){int data;void (*func_ptr) (int)=main_sink;data=-1;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);func_ptr(data);}
static void main_sink(int data){if (data!=-1){CLOSE(data);}}static void main(){int data;void (*func_ptr) (int)=main_sink;data=-1;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);func_ptr(data);}