validation/infinite-loop04.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

extern void use(char);

static void foo(char *b)
{
	while (b) {
		if (b++)
			continue;
		++b;
		use(*b);
		&b;
	}
}

/*
 * check-name: internal infinite loop (4)
 * check-command: sparse $file
 * check-timeout:
 */