1extern void use(char);
2
3static void foo(char *b)
4{
5	while (b) {
6		if (b++)
7			continue;
8		++b;
9		use(*b);
10		&b;
11	}
12}
13
14/*
15 * check-name: internal infinite loop (4)
16 * check-command: sparse $file
17 * check-timeout:
18 */
19