1void * CreateFile();
2void * socket();
3
4int func (void)
5{
6	int *x;
7
8	if (x = CreateFile()) {
9
10	}
11
12	x = socket();
13	if (x != 0) {
14
15	}
16	return;
17}
18/*
19 * check-name: use INVALID_HANDLE_VALUE not zero
20 * check-command: smatch -p=wine sm_wine_filehandles.c
21 *
22 * check-output-start
23sm_wine_filehandles.c:8 func() error: comparing a filehandle against zero 'x'
24sm_wine_filehandles.c:13 func() error: comparing a filehandle against zero 'x'
25 * check-output-end
26 */
27