1extern int op(void); 2 3static 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