void * CreateFile();
void * socket();

int func (void)
{
	int *x;

	if (x = CreateFile()) {
		
	}

	x = socket();
	if (x != 0) {
	      
	}
	return;
}
/*
 * check-name: use INVALID_HANDLE_VALUE not zero
 * check-command: smatch -p=wine sm_wine_filehandles.c
 *
 * check-output-start
sm_wine_filehandles.c:8 func() error: comparing a filehandle against zero 'x'
sm_wine_filehandles.c:13 func() error: comparing a filehandle against zero 'x'
 * check-output-end
 */