1 extern int op(void); 2 3 static void test(void) 4 { 5 int i; 6 for (i = 0; ; i++) { 7 op(); 8 } 9 } 10 11 /* 12 * check-name: Loops with unused counter 13 * check-command: sparsec -c $file -o tmp.o 14 */ 15