1 extern void use(char); 2 3 static 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 */